G. Phipps, M. A. Derr, and K. Ross. Glue-NAIL!: A Deductive Database System. In Proc. ACM-SIGMOD, pp. 308--317, 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....The semantics of such databases are fully understood and there has been a great deal of research dealing with implementation issues, particularly in query optimization in the presence of recursive rules. This research has culminated in various experimental systems such as NAIL [12] glue NAIL [15], LDL [1, 14] Aditi [19] EKS V1 [20] CORAL [16] and Starburst SQL [13] the utility of which have been successfully demonstrated. Therefore, it is not unreasonable to assume that within the next decade, commercial systems with deductive capabilities will become available. In the presence of a ....

Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-nail!: A deductive database system. In Proceedings of the ACM SIGMOD Conference on Management of Data, 1991.

.... Basically, a deductive database is a logic program without function symbols, i.e. a datalog program (extended with negation) 55,14] A number of advanced deductive database systems have been developed that utilize logic programming and extensions thereof for querying relational databases [13,15,36,43,45]. The need for representing disjunctive (or incomplete) information led to disjunctive deductive databases [40] for which a generalization of the closed world assumption (CWA) had to be devised, whose complexity has been first analyzed in [17] Disjunctive deductive databases can be basically ....

G. Phipps, M. A. Derr, and K. A. Ross. Glue-NAIL!: A Deductive Database System. Proc. ACM-SIGMOD Conf. on Management of Data, pp. 308-317, 1991.

.... Basically, a deductive database is a logic program without function symbols, i.e. a datalog program (extended with negation) 54, 14] A number of advanced deductive database systems have been developed that utilize logic programming and extensions thereof for querying relational databases [13, 15, 36, 43, 45]. The need for representing disjunctive (or incomplete) information led to disjunctive deductive databases [40] for which a generalization of the closed world assumption (CWA) had to be devised, whose complexity has been rst analyzed in [17] Disjunctive deductive databases can be basically ....

G. Phipps, M. A. Derr, and K. A. Ross. Glue-NAIL!: A Deductive Database System. Proc. ACM-SIGMOD Conf. on Management of Data, pp. 308-317, 1991.

....supports a significantly larger class of programs with negation and set generation than other systems. It is also the only deductive database system that supports non ground facts. 2. 1 Non Ground Facts Unlike Aditi ( VRK 90] EKS V1 ( VBKL90] LDL ( NT89, CGK 90] Glue NAIL ( MUVG86, PDR91] and Starburst SQL ( MPR90] which restrict the facts in a database to be ground, CORAL permits variables within facts. As an example, consider Figure 1. It is module path. export path(bfff; ffff ) path(X; Y; P1; C1) Gamma path(X; Z; P; C) edge(Z; Y; EC) append(P; edge(Z; Y ) P 1) ....

....on relations efficient. It is relatively straightforward to add, for instance, a B tree index in this fashion. 8 Related Systems There are many similarities between CORAL and deductive database systems such as Aditi ( VRK 90] EKS V1 ( VBKL90] LDL ( NT89, CGK 90] GlueNAIL ( MUVG86, PDR91] and Starburst SQL ( MPR90] However, there are several important differences, and CORAL extends all the above systems in the following ways: 1. CORAL supports a larger class of programs, including programs with non ground facts and nonstratified negation and set generation. 2. CORAL supports a ....

Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-NAIL!: A deductive database system. In Proceedings of the ACM SIGMOD Conf. on Management of Data, pages 308--317, 1991.

....in the end, they all settled for expedient combinations of declarative semantics and operational update constructs. This is exemplified by the Glue Nail system where the operational Glue layer was wrapped around the original Datalog layer, featuring compatible data types but no unified semantics [5]. The framework of transaction logic [2] offers an approach that is appealing at the theoretical level, but its orientation toward top down semantics, and the computational complexities, which come with its great power and flexibility, make its adoption in the basic framework of bottom up ....

G. Phipps, M. A. Derr, and K. A. Ross. Glue-Nail!: A Deductive Database System. In Proceedings International ACM SIGMOD Conference on Management of Data, pp. 308--317, 1991.

.... Basically, a deductive database is a logic program without function symbols, i.e. a datalog program (possibly extended with negation) A number of advanced deductive database systems have been developed that utilize logic programming and extensions thereof for querying relational databases, e.g. [10, 16, 19]. Work supported in part by FWF (Austrian Science Funds) under project P11580 MAT, and by the Istituto per la Sistemistica e l Informatica, ISI CNR. y Please address correspondence to this author; Phone: 43 1 588016126; Fax: 43 1 5055304 z Work done while visiting TU Vienna. The need ....

G. Phipps, M. A. Derr, and K. Ross. Glue-NAIL!: A Deductive Database System. In Proc. ACM-SIGMOD, pp. 308--317, 1991.

....the main weaknesses, although a more careful evaluation remains to be done. 12 Related Systems A number of other deductive database systems have been developed in the past few years. These include (in alphabetical order) Aditi [VRK 91] ConceptBase [JS93] EKS V1 [VBKL90] Glue NAIL [MUVG86, PDR91] LDL [NT89, CGK 90] LDL [AO93] LOLA [FSS91] Starburst SQL [MPR90] and XSB [SSW93] There are many similarities between CORAL and these systems. However, there are several important differences, and CORAL extends the above systems in the following ways: 1. CORAL is extensible new ....

Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-NAIL!: A deductive database system. In Proceedings of the ACM SIGMOD Conference on Management of Data, pages 308--317, 1991.

....and index implementations in a clean fashion. The implementation of persistent relations using EXODUS illustrates the utility of such extensibility. 8 Related Systems There are many similarities between CORAL and deductive database systems such as Aditi [28] EKS V1 [29] LDL [13, 3] Glue NAIL [11, 15], Starburst SQL [12] DECLARE [9] ConceptBase [6] and LOLA [4] However, there are several important differences, and CORAL extends all the above systems in the following ways: 1. CORAL supports a larger class of programs, including programs with non ground facts, non stratified negation and ....

G. Phipps, M. A. Derr, and K. A. Ross. Glue-NAIL!: A deductive database system. In Proceedings of the ACM SIGMOD Conference on Management of Data, pages 308--317, 1991.

....[28] The rules are treated as program, and thus compiled and executed against the database which contains a time varying set of facts described by a time invariant schema. The target for this compilation is code based on relational algebra operators or get next tuple kind of operators [11, 33, 60]. Sophisticated compilation techniques are used for recursion. The naive fixpoint computation consists of repeated firing of the rules till saturation, using a table to memorize new results without duplicates. This forward chaining, bottom up computation is then optimized by minimizing repetitions ....

....each query actually, for each template tc bf describing the goal tc(a; X) and all goals where the first argument is bound and the second is free. Compilers use these bound free adornments to select recursive methods and execution orders for rule goals as to ensure safe and optimized executions [33, 53, 60]. Systems and Applications Many interesting applications of deductive databases have been reported, ranging from the rapid prototyping of information systems and scientific databases, to data cleaning and stock market analysis [30, 51, 37] More recent applications include websearching [25] ....

G. Phipps, M. A. Derr, and K. A. Ross. Glue-Nail!: A Deductive Database System. In Proceedings International ACM SIGMOD Conference on Management of Data, pp. 308--317, 1991.

....rules, with the power of SQL statements, wrapped in conventional language constructs such as loops, procedures, and modules. The original NAIL language becomes in effect a view mechanism for Glue; it allows fully declarative specifications in situations where declarativeness is appropriate [PDR91, DMP93] 5.4 Other Deductive Database Projects The Aditi project was initiated in 1988 at the University of Melbourne. The research contributions of this project include a formulation of seminaive evaluation that is now widely used [BR87a] adaptation of Magic Sets for stratified programs ....

Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-NAIL!: A deductive database system. In Proceedings of the ACM SIGMOD Conference on Management of Data, pages 308--317, 1991.

....also provides some control primitives such as choice, provides a module feature for organizing code, and provides primitives for integration with C. NAIL [99; 54; 53] was another early deductive database system. The current version is compiled into a set oriented procedural language called Glue [70]. NAIL provides higher order syntactic features, using the semantics of Hilog [19] Glue NAIL is currently implemented on top of Prolog, and is main memory oriented. EKS V1 [108] is a deductive database system that combines features of disk oriented and in memory databases. It is implemented on ....

Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-NAIL!: A deductive database system. In Proceedings of the ACM SIGMOD Conf. on Management of Data, pages 308--317, 1991.

....past the field of deductive databases. Basically, a deductive database is a function free logic program, i.e. a datalog program (possibly extended with negation) Several advanced deductive database systems utilize logic programming and extensions thereof for querying relational databases, e.g. [14, 21, 24]. The need for representing disjunctive (or incomplete) information led to Disjunctive Deductive Databases (DDDBs) 18] They can be seen as function free disjunctive logic programs, i.e. disjunctive datalog programs [19, 12] DDDBs are nowadays widely recognized as a valuable tool for knowledge ....

G. Phipps, M. A. Derr, and K. Ross. Glue-NAIL!: A Deductive Database System. In Proc. ACM-SIGMOD, pp. 308--317, 1991.

....Reasoning. Please address correspondence to this author. in the second half of the eighties. Besides important theoretical results, this study has led to the implementation of a number of deductive database systems supporting logic programming and its extensions as the query language [2, 4, 15, 20, 22]. Recently, the idea of incorporating disjunction in the deductive database languages has stimulated a renewed interest in this area, since deductive databases with disjunction, called Disjunctive Deductive Databases (DDDBs) seem to be well suited to perform nonmonotonic reasoning tasks which are ....

G. Phipps, M. A. Derr, and K. Ross. Glue-NAIL!: A Deductive Database System. In Proceedings ACM-SIGMOD Conference on Management of Data, pages 308--317, 1991.

....for abstract data types, encapsulation, object identifiers, methods, inheritance and polymorphism. Such sophisticated features are very useful for data modeling in many scientific, engineering, and multimedia applications. Deductive database languages, such as LDL [19] Coral [23] and Glue Nail [21], among others, enhance the declarative query language by providing a facility for generalized recursive view definition, which is of considerable practical importance. However, data models for deductive databases are typically structural, and do not have the richness of object oriented data ....

G. Phipps, M. A. Derr, and K. A. Ross. Glue-NAIL!: A deductive database system. In Proceedings of the ACM SIGMOD Conference on Management of Data, pages 308--317, 1991.

No context found.

G. Phipps, M. A. Derr, and K. Ross. Glue-NAIL!: A Deductive Database System. In Proc. ACM-SIGMOD, pp. 308--317, 1991.

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