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

@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

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

Online Paper

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

ACM SIGMOD Anthology

• 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

• 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 BibTeX

[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 BibTeX

[Chimenti et al. 1990]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168 BibTeX

[Date 1986]

C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
BibTeX

[Derr 1992]

Marcia A. Derr: Adaptive Optimization in a Database Programming Language. Ph.D. thesis, Stanford University, Department of Computer Science 1992
BibTeX

[Derr 1993]

Marcia A. Derr: Adaptive Query Optimization in a Deductive Database System. CIKM 1993: 206-215 BibTeX

[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 BibTeX

[Freeston 1987]

Michael Freeston: The BANG File: A New Kind of Grid File. SIGMOD Conference 1987: 260-269 BibTeX

[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 BibTeX

[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 BibTeX

[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 BibTeX

[Kerisit & Pugin 1988]

Jean-Marc Kerisit, Jean-Marc Pugin: Efficient Query Answering on Stratified Databases. FGCS 1988: 719-726 BibTeX

[Lloyd 1984]

John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX

[Makinouchi 1977]

Akifumi Makinouchi: A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model. VLDB 1977: 447-453 BibTeX

[Melton 1993]

...

[Morishita 1993]

Shinichi Morishita: An Alternating Fixpoint Tailored to Magic Programs. PODS 1993: 123-134 BibTeX

[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) BibTeX

[Morris et al. 1986]

Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 BibTeX

[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
BibTeX

[Phipps 1990]

Geoffrey Phipps: Glue: A Deductive Database Programming Language (Extended Abstract). Workshop on Deductive Databases 1990: 0- BibTeX

[Phipps 1992]

Geoffrey Phipps: Glue: A Deductive Database Programming Language. Ph.D. thesis, Stanford University, Department of Computer Science 1992
BibTeX

[Phipps et al. 1991]

Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 BibTeX

[Ramakrishnan 1988]

Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach to Logic Programs. ICLP/SLP 1988: 140-159 BibTeX

[Ramakrishnan 1993]

...

[Ramakrishnan et al. 1992]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 BibTeX

[Ross 1990]

Kenneth A. Ross: Modular Stratification and Magic Sets for DATALOG Programs with Negation. PODS 1990: 161-171 BibTeX

[Ross 1991]

Kenneth A. Ross: Modular Acyclicity and Tail Recursion in Logic Programs. PODS 1991: 92-101 BibTeX

[Schmidt 1977]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

[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 BibTeX

[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 BibTeX

[Vaghani et al. 1990]

...

[Van Gelder 1989]

Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10 BibTeX

[Vieille 1986]

Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267 BibTeX

[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) BibTeX

[Wiederhold 1986]

Gio Wiederhold: Views, Objects, and Databases. IEEE Computer 19(12): 37-44(1986) BibTeX

Referenced by

1. David B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi: Database Transactions in a Purely Declarative Logic Programming Language. DASFAA 1997: 283-292