Foundations of logic programming
Foundations of logic programming
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Naive evaluation of recursively defined relations
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Computer
Design overview of the NAIL] system
Proceedings on Third international conference on logic programming
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The BANG file: A new kind of grid file
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A logical language for data and knowledge bases
A logical language for data and knowledge bases
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query optimization in a memory-resident domain relational calculus database system
ACM Transactions on Database Systems (TODS)
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Right-, left-, and multi-linear rule transformations that maintain context information
Proceedings of the sixteenth international conference on Very large databases
Modular acyclicity and tail recursion in logic programs
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Glue-Nail: a deductive database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
An alternating fixpoint tailored to magic programs
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adaptive optimization in a database programming language
Adaptive optimization in a database programming language
Glue: a deductive database programming language
Glue: a deductive database programming language
Design and implementation of the glue-nail database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Adaptive query optimization in a deductive database system
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Modular stratification and magic sets for DATALOG programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
LOLA - A Logic Language for Deductive Databases and its Implementation
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
Thor user''s manual: tutorial and commands
Thor user''s manual: tutorial and commands
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
Efficient Management of Persistent Knowledge
Journal of Intelligent Information Systems
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
A front-end to deductive database systems for multiparadigm programming
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Logic Database System with Extended Functionality
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Jelly view: a technology for arbitrarily advanced queries within RDBMS
Proceedings of the 2005 ACM symposium on Applied computing
Query processing in the ROL system
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Case study: The furniture company: deductive databases and the scheduling problem
International Journal of Information Management: The Journal for Information Professionals
Hi-index | 0.00 |
We describe the design and implementation of the Glue-Nail deductive 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 variants of the magic sets algorithm and supports well-founded models. The Glue compiler's static optimizer uses peephole techniques and data flow analysis to improve code. The IGlue interpreter features a run-time adaptive optimizer that reoptimizes queries and automatically selects indexes. We also describe the Glue-Nail benchmark suite, a set of applications developed to evaluate the Glue-Nail language and to measure the performance of the system.