The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...
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
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
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
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
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
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
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
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. ...
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  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
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. ...
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. ...
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
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
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