Results 1 - 10 of 175

Glue-Nail: A Deductive Database System

by Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross - In ACM SIGMOD Conference on Management of Data , 1991
"... Glue is a procedural language for deductive databases. It is designed to complement the purely declarative NAIL! language, firstly by performing system functions impossible to write in NAIL!, and secondly by allowing the procedural specification of algorithms for critical code sections. The two lang ..."
Abstract - Cited by 59 (8 self) - Add to MetaCart
Glue is a procedural language for deductive databases. It is designed to complement the purely declarative NAIL! language, firstly by performing system functions impossible to write in NAIL!, and secondly by allowing the procedural specification of algorithms for critical code sections. The two

The Glue-Nail Deductive Database System: Design, Implementation, and Evaluation

by Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps , 1994
"... ... database system. Nail is a purely declarative query language; Glue is a procedural language used for non-query activities. The two languages combined are sufficient to write a complete application. Nail and Glue code are both compiled into the target language IGlue. The Nail compiler uses varian ..."
Abstract - Cited by 18 (0 self) - Add to MetaCart
... database system. Nail is a purely declarative query language; Glue is a procedural language used for non-query activities. The two languages combined are sufficient to write a complete application. Nail and Glue code are both compiled into the target language IGlue. The Nail compiler uses

Negation and Aggregates in Recursive Rules: the LDL++ Approach

by Carlo Zaniolo, Natraj Arni, Kayliang Ong , 1993
"... The problem of allowing non-monotonic constructs, such as negation and aggregates, in recursive programs represents a difficult challenge faced by current research in deductive databases. In this paper, we present a solution that combines generality with efficiency, as demonstrated by its implementa ..."
Abstract - Cited by 53 (15 self) - Add to MetaCart
of the concept of stratified negation and stratified set aggregates [16]. This concept is significant since it removes several of the limitations and problems of Prolog's negationby -failure, and it is conducive to efficient implementation, as demonstrated by systems such as Glue-Nail, LDL and CORAL [15, 22

Towards A Deductive Object-Oriented Database Language

by Serge Abiteboul - Data & Knowledge Engineering , 1990
"... A language for databases with sets, tuples, lists, object identity and structural inheritance is proposed. The core language is logic-based with a fixpoint semantics. Methods with overloading and methods evaluated externally providing extensibility of the language are considered. Other important iss ..."
Abstract - Cited by 59 (0 self) - Add to MetaCart
in that success has been the existence of simple-to-use languages allowing the definition and manipulation of data. This has to be remembered while considering future generations of database systems. Object-oriented database systems are now being developed, e.g., [15, 12, 22, 39, 36]. An object-oriented approach

2.2 Deductive Databases Systems.................. 5

by Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer , 2009
"... The Semantic Web initiative has led to an upsurge of the interest in rules as a general and powerful way of processing, combining, and analyzing semantic information. Since several of the technologies underlying rule-based systems are already quite mature, it is important to understand how such syst ..."
Abstract - Add to MetaCart
The Semantic Web initiative has led to an upsurge of the interest in rules as a general and powerful way of processing, combining, and analyzing semantic information. Since several of the technologies underlying rule-based systems are already quite mature, it is important to understand how

Design and Implementation of the Relationlog Deductive Database System

by Mengchi Liu, Riqiang Shan - In Proceedings of the 9th International Workshop on Database and Expert System Applications (DEXA Workshop '98 , 1998
"... We describe the design and implementation of Relationlog, a persistent deductive database system. Unlike other related systems such as Aditi, CORAL, LDL, LOLA and Nail-Glue, Relationlog supports effective storage, efficient access and inference of large amounts of data with complex structures and pr ..."
Abstract - Cited by 8 (7 self) - Add to MetaCart
We describe the design and implementation of Relationlog, a persistent deductive database system. Unlike other related systems such as Aditi, CORAL, LDL, LOLA and Nail-Glue, Relationlog supports effective storage, efficient access and inference of large amounts of data with complex structures

Semantic Query Optimization Techniques in Deductive Databases

by Instructor Professor, Anthony J. Kusalik, Mohammad Ashrafuzzaman , 1996
"... Integrity constraints play important role in checking database update validity. Although not needed for answering queries, integrity constraints can be exploited to optimize the query processing in a database system. The process of using semantic knowledge of a database, expressed in the form of int ..."
Abstract - Add to MetaCart
Integrity constraints play important role in checking database update validity. Although not needed for answering queries, integrity constraints can be exploited to optimize the query processing in a database system. The process of using semantic knowledge of a database, expressed in the form

Unification of Bounded Simple Set Terms in Deductive Databases

by Sergio Greco, Cristinel Mateis , 1996
"... In this paper we consider the problem of unification of bounded simple set terms in the field of deductive databases. Simple set terms are of the form fe 1 ; : : : ; e ng, where e i is a constant or a variable and are much used in deductive database systems such as LDL and Coral. In this paper we c ..."
Abstract - Add to MetaCart
In this paper we consider the problem of unification of bounded simple set terms in the field of deductive databases. Simple set terms are of the form fe 1 ; : : : ; e ng, where e i is a constant or a variable and are much used in deductive database systems such as LDL and Coral. In this paper we

Facilitating Transformations in a Human Genome Project Database

by S. B. Davidson, A.S. Kosky, B. Eckman - In Proc. Third International Conference on Information and Knowledge Management (CIKM , 1994
"... Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need to integrate multiple data sources and software systems which range over a wide variety of models and formats. While the ..."
Abstract - Cited by 12 (10 self) - Add to MetaCart
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need to integrate multiple data sources and software systems which range over a wide variety of models and formats. While

Intelligent Mathematical Databases

by G. Butler, Centre Interuniversitaire , 1995
"... Mathematics is a new area of advanced applications for database technology. We report on our recent work constructing two prototypes of intelligent mathematical databases, and on the lessons learnt. The integration of various paradigms --- relational, logic, functional, and object-oriented --- in th ..."
Abstract - Add to MetaCart
-oriented --- in the database, and the incorporation of the database facilities into a computer algebra system are discussed. Key Words: mathematical database, deductive database, object-oriented database, group theory, multiattribute indexing, partial match retrieval, range queries 1 Introduction Mathematics is a new area
Results 1 - 10 of 175