J. Minker. "Logic and Databases: A 20 Year Retrospective." Lecture Notes in Computer Science, 1154, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....process over deductive databases is tractable and has been extensively studied in both a bottom up and a top down direction [3] In this paper, a query evaluation algorithm over deductive databases is assumed and referred to as deduce. Any one of many such algorithms described in the literature [3, 5, 13] may serve as a denotation for deduce. Thus, the remainder of the paper assumes to be well de ned an expression such as A : deduce(Q; IDB;EDB) that assigns to A the answer to a query Q over a deductive database IDB [ EDB. Inductive logic programming (ILP) 17] can be seen as an approach to ....

Jack Minker, `Logic and databases: A 20 year retrospective', in Proceedings of the International Workshop on Logic in Databases (LID'96), volume 1154 of Lecture Notes in Computer Science, pp. 3-57, San Miniato, Italy, (July 1996). Springer-Verlag.

....Przymusinski 1998] The logic AELB isomorphically includes the well known non monotonic formalisms 2 The book by Minker et al. Lobo et al. 1992] provides a detailed account of the extensive research effort in this area. See also [Dix 1995b; Minker 1993; Przymusinski 1995a; Przymusinski 1995b; Minker 1996]. 3 Observe that while such a mechanism cannot even in principle be efficient, due to the inherent NP completeness of the problem of computing answers just to positive disjunctive programs, it can be efficient when restricted to specific subclasses of programs and queries and it can allow ....

Minker, J. 1996. Logic and databases: A 20 year retrospective. In D. Pedreschi and C. Zaniolo Eds., Proceedings of the International Workshop on Logic in Databases (LID), LNCS 1154, pp. 3--58. Berlin: Springer.

....research devoted to deductive databases have both penetrated current relational DBMSs and inspired several extensions to the relational model. Furthermore, this research has recently materialized in some Deductive Database Management Systems (DDBMS) either prototypes or commercial products [RU95, Min96]. Among these developed systems, we have Aditi, CORAL, DECLARE, Glue Nail, LDL (see [VLD94] for descriptions and references) EKS V1 [VPK 90] and Validity [FLV96] Most of these systems have concentrated on providing theoretical foundations and efficient techniques for the storage and retrieval ....

Minker,J. "Logic and Databases: a 20 Year Retrospective", Int. Workshop on Logic in Databases (LID), San Miniato (Italy), 1996, pp. 5-52.

....are a theoretically well founded technology around which to build the knowledge intensive systems of the future. Deductive databases, also known as logic databases or knowledge bases, result from decades of research in the areas of logic, databases, logic programming and artificial intelligence [Min96]. They extend relational databases by allowing for the representation and management of more general forms of application semantics . Besides data stored in base relations, comprehensive views permit the handling of additional forms of derived data, while powerful integrity constraints can be ....

....research devoted to deductive databases have both penetrated current relational DBMSs and inspired several extensions to the relational model. Furthermore, this research has recently materialised in some Deductive Database Management Systems (DDBMS) either prototypes or commercial products [RU95, Min96]. Among these developed systems, we have Aditi, CORAL, DECLARE, Glue Nail, LDL (see [VLD94] for descriptions and references) EKS V1 [VPK 90] and Validity [FLV96] However, while [VLD94] presents deductive databases as the main effort to attack one of the most fundamental uses of a computer, ....

Minker,J. "Logic and Databases: a 20 Year Retrospective", Int. Workshop on Logic in Databases (LID), San Miniato (Italy), 1996, pp. 5-52.

....the concept of stable database. Two important model semantics for normal databases (and logic programs) are the well founded semantics ( Gelder et al. 1988] and the stable model semantics or the semantically equivalent well supported models ( Fages, 1991] and [Gelfond and Lifschitz, 1988] See [Minker, 1996] for a retrospective on work in semantics for logic programs and deductive databases. 6 We still speak in terms of first order logic even for normal databases, as most of the first order framework of deductive databases remains applicable. 30 April 1997 ICs: Semantics and ....

Minker, J. (1996). Logic and databases: a 20 year retrospective. In Workshop on Logic in Databases, San Miniato, Italy. Invited Keynote Address.

No context found.

J. Minker. "Logic and Databases: A 20 Year Retrospective." Lecture Notes in Computer Science, 1154, 1996.

No context found.

. Logic and Databases: A 20 Year Retrospective. Logic in Databases 1996: pp. 3-57

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC