Filters








22,520 Hits in 6.3 sec

Page 52 of Journal of Research and Practice in Information Technology Vol. 15, Issue 2 [page]

1983 Journal of Research and Practice in Information Technology  
The elegant theoretical framework for deductive database systems is provided by first order logic. Logic is used as a uniform language for data, programs, queries, views and integrity constraints.  ...  The other inspiration for deductive database systems comes from logic programming. This is based on the premise that first order logic can be used as a programming language.  ... 

Perspectives in deductive databases

Jack Minker
1988 The Journal of Logic Programming  
Hence, a firm theoretical foundation was given to negation for logic programming and deductive databases.  ...  It led to foundational work in deductive databases and in logic programming.  ... 
doi:10.1016/0743-1066(88)90006-4 fatcat:nte73kgo2fhcjcahpxz65huysy

Query Answering in Information Systems with Integrity Constraints [chapter]

François Bry
1997 Integrity and Internal Control in Information Systems  
Further, minimal logic is shown to be a convenient foundation for query answering in information systems with integrity constraints.  ...  In this paper, it is first argued that classical logic is inappropriate for a formalization of information systems because of its global notion of inconsistency.  ...  a foundation for general information systems.  ... 
doi:10.1007/978-0-387-35317-3_6 fatcat:2jtlxdq2z5cznnzmfzznorvzny

Preface

Laks V.S. Lakshmanan
1997 Theoretical Computer Science  
Uncertain information processing, especially in the context of databases and deductive systems, has witnessed substantial amount of research in recent years. its foundations have been better understood  ...  While interesting papers have been published in numerous isolated A workshop dedicated to the theme of Uncertainty in Databases and Deductive Systems was held in conjunction with the ~~t~~n~ti#~  ... 
doi:10.1016/s0304-3975(96)00122-3 fatcat:kpaffnko6ffrlnnsi4l7gne23e

Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors

2000 Journal of symbolic computation  
databases), and logical foundations (e.g. proof theory and algebraic logic).  ...  The workshop was successful and became a starting point for a call for paper for this special issue.  ...  problems-for the usage of the map calculus as a kind of machine language under the language of first-order logic.  ... 
doi:10.1006/jsco.1999.0357 fatcat:aztyffcmavbcbirv6uaiwwm7aq

Building Theories into Instantiation

Alan M. Frisch, C. David Page Jr.
1995 International Joint Conference on Artificial Intelligence  
deduction and logic programming, knowledge-base vivification, and database systems  ...  importance in the study of database systems and machine learning A variety of instantiation ordenngs are now IP use, many of which incorporate some kind of background information in the form of a constraint  ...  of the positive PAC-learnability results for ILP (though not the positive PAC-predtction results) 7 Deductive Systems Constraint logic has been used as the basis of constraint logic programming [Jaffar  ... 
dblp:conf/ijcai/FrischP95 fatcat:2ukpnswqbvcy5bfsayvsiw4hia

Logic and databases [chapter]

Johann Eder
1992 Lecture Notes in Computer Science  
Logic and databases have gone a long way together since the published in: V. Marik (ed.): Advanced Topics in AI, Springer Verlag, 1992  ...  8 ERMS91] , and the application of logic to object oriented databases (e.g. Bee90] . Deductive databases will have a major impact on future knowledge based systems.  ...  We will conclude with some references for further reading. The topic of logic and databases is subject of a specialized textbook CGT90], and is also extensively covered in Ull89].  ... 
doi:10.1007/3-540-55681-8_32 fatcat:i5hphu53izd73deinmv4n4zdyu

Logic and Databases: Past, Present, and Future

Jack Minker
1997 The AI Magazine  
Gallaire, Minker, and Nicolas stated that logic and databases was a field in its own right. This was the first time that this designation was made.  ...  I review developments in the field, assess contributions, consider the status of implementations of deductive databases, and discuss future work needed in deductive databases. Articles  ...  The full paper is dedicated in honor of Hervé Gallaire and Jean-Marie Nicolas with whom I have worked as co-author, co-editor, colleague, and friend and who have helped to make the field of deductive databases  ... 
doi:10.1609/aimag.v18i3.1304 dblp:journals/aim/Minker97 fatcat:6foa4j2a45cabojbsyxj7rwpfq

Page 4440 of Mathematical Reviews Vol. , Issue 95h [page]

1995 Mathematical Reviews  
The deduction theorem is provable for a basic system if and only if it is at least as strong as systems corresponding to linear logic or BCK logic (depending on the language) and the deductive metalogic  ...  The authors consider a network of databases distributed in time as an extension of the more usual idea of a network of databases distributed in space.  ... 

N' 5 as an Extension of G' 3

Mauricio Osorio, José Luis Carballido, Claudia Zepeda
2013 Alberto Mendelzon Workshop on Foundations of Data Management  
We introduce a new axiomatic system, N-GLukG, a paraconsistent logic that possesses strong negation.  ...  We present an extension of GLukG, a logic that was introduced in [6] as a three-valued logic under the name of G 3 .  ...  Specifically, Deductive Database Systems are forms of database management systems whose storage structures are designed around a logical model of data and at the same time inference modules for the Deductive  ... 
dblp:conf/amw/OsorioCZ13 fatcat:xxngnzt27jepdatxhbinhfdrim

Page 7027 of Mathematical Reviews Vol. , Issue 89M [page]

1989 Mathematical Reviews  
03B70 68P15 68Q25 * Foundations of deductive databases and logic programming.  ...  Chakravarthy, John Grant and Jack Minker, Foundations of semantic query optimization for deductive data- bases (pp. 243-273); Tomasz Imielinski, Intelligent query answer- ing in rule based systems (pp.  ... 

Page 1997 of Mathematical Reviews Vol. , Issue 96d [page]

1996 Mathematical Reviews  
The logic adopted is a composite system of a type logic nested within a database logic. Two resource-sensitive sub-types of conditional introduc- tion form the basis for explaining the ellipsis data.  ...  structurally complete.” 96d:03043 03B65 Kempson, Ruth (4-LND-LN; London) Ellipsis in a labelled deduction system.  ... 

Knowledge Integration

Andreas Maier, Nieves Peña, Iñaki Laresgoiti, Amaia Bernaras
2003 Workshop Ontologie-basiertes Wissensmanagement  
Foundations: Enabling the Ontology-based Integration The foundations talked about next -knowledge representation, mapping, deductive logic and databases -are not new for themselves.  ...  of deduction and relational database systems, which extends the mapping and business logic capabilities a higher degree of abstraction, as the model is separated from the data storage its extendibility  ...  Thereby it visualizes the inference process for one selected new fact (picture 12: a visual rule debugger).  ... 
dblp:conf/wow/MaierPLB03 fatcat:5ha4jt37fzgrjo3ryvt4wuquni

A survey of deductive database systems

Raghu Ramakrishnan, Jeffrey D. Ullman
1995 The Journal of Logic Programming  
This provided a firm foundation for the semantics of logic programs, and especially, deductive databases since fixpoint computation is the operational semantics associated with deductive databases (at  ...  INTRODUCTION Deductive database systems are database management systems whose query language and (usually) storage structure are designed around a logical model of data.  ... 
doi:10.1016/0743-1066(94)00039-9 fatcat:z75hsj363jcwrdic4ymyi7aop4

Page 5785 of Mathematical Reviews Vol. , Issue 86m [page]

1986 Mathematical Reviews  
Homogeneous information trees can be interpreted as models of expert systems, databases with a menu or tree-structured databases.  ...  The purpose of this survey paper is to show that logic provides a convenient formalism for studying classical database problems.  ... 
« Previous Showing results 1 — 15 out of 22,520 results