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

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps: The Glue-Nail Deductive Database System: Design, Implementation, and Evaluation. VLDB J. 3(2): 123-160(1994)

@article{DBLP:journals/vldb/DerrMP94,
  author    = {Marcia A. Derr and
               Shinichi Morishita and
               Geoffrey Phipps},
  title     = {The Glue-Nail Deductive Database System: Design, Implementation,
               and Evaluation},
  journal   = {VLDB J.},
  volume    = {3},
  number    = {2},
  year      = {1994},
  pages     = {123-160},
  ee        = {db/journals/vldb/DerrMP94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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.

Copyright © 1994 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Key Words

Language, performance, query optimization.

Online Paper

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An4-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

References

[Alverson et al. 1988]: ...
[Bancilhon 1986]: ...
[Beeri & Ramakrishnan 1987]: Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284
[Chen et al. 1989]: Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114
[Chimenti et al. 1990]: Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168
[Date 1986]: C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
[Derr 1992]: Marcia A. Derr: Adaptive Optimization in a Database Programming Language. Ph.D. thesis, Stanford University, Department of Computer Science 1992
[Derr 1993]: Marcia A. Derr: Adaptive Query Optimization in a Deductive Database System. CIKM 1993: 206-215
[Derr et al. 1993]: Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps: Design and Implementation of the Glue-Nail Database System. SIGMOD Conference 1993: 147-156
[Freeston 1987]: Michael Freeston: The BANG File: A New Kind of Grid File. SIGMOD Conference 1987: 260-269
[Freitag et al. 1991]: Burkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225
[Kemp et al. 1990]: David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391
[Kemp et al. 1992]: David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302
[Kerisit & Pugin 1988]: Jean-Marc Kerisit, Jean-Marc Pugin: Efficient Query Answering on Stratified Databases. FGCS 1988: 719-726
[Lloyd 1984]: John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
[Makinouchi 1977]: Akifumi Makinouchi: A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model. VLDB 1977: 447-453
[Melton 1993]: ...
[Morishita 1993]: Shinichi Morishita: An Alternating Fixpoint Tailored to Magic Programs. PODS 1993: 123-134
[Morris et al. 1987]: Katherine A. Morris, Jeffrey F. Naughton, Yatin P. Saraiya, Jeffrey D. Ullman, Allen Van Gelder: YAWN! (Yet Another Window on NAIL!). IEEE Data Eng. Bull. 10(4): 28-43(1987)
[Morris et al. 1986]: Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568
[Mumick & Pirahesh 1991]: ...
[Naqvi & Tsur 1989]: Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
[Phipps 1990]: Geoffrey Phipps: Glue: A Deductive Database Programming Language (Extended Abstract). Workshop on Deductive Databases 1990: 0-
[Phipps 1992]: Geoffrey Phipps: Glue: A Deductive Database Programming Language. Ph.D. thesis, Stanford University, Department of Computer Science 1992
[Phipps et al. 1991]: Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317
[Ramakrishnan 1988]: Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach to Logic Programs. ICLP/SLP 1988: 140-159
[Ramakrishnan 1993]: ...
[Ramakrishnan et al. 1992]: Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250
[Ross 1990]: Kenneth A. Ross: Modular Stratification and Magic Sets for DATALOG Programs with Negation. PODS 1990: 161-171
[Ross 1991]: Kenneth A. Ross: Modular Acyclicity and Tail Recursion in Logic Programs. PODS 1991: 92-101
[Schmidt 1977]: Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977)
[Selinger et al. 1979]: Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, Thomas G. Price: Access Path Selection in a Relational Database Management System. SIGMOD Conference 1979: 23-34
[Thom & Zobel 1990]: ...
[Ullman 1989]: Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents
[Vaghani et al. 1990]: ...
[Van Gelder 1989]: Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10
[Vieille 1986]: Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267
[Vieille et al. 1990]: ...
[Whang & Krishnamurthy 1990]: Kyu-Young Whang, Ravi Krishnamurthy: Query Optimization in a Memory-Resident Domain Relational Calculus Database System. ACM Trans. Database Syst. 15(1): 67-95(1990)
[Wiederhold 1986]: Gio Wiederhold: Views, Objects, and Databases. IEEE Computer 19(12): 37-44(1986)