article

Free access

Design and implementation of the glue-nail database system

Authors:

Marcia A. Derr,

Shinichi Morishita,

Geoffrey PhippsAuthors Info & Claims

ACM SIGMOD Record, Volume 22, Issue 2

Pages 147 - 156

https://doi.org/10.1145/170036.170065

Published: 01 June 1993 Publication History

Abstract

We describe the design and implementation of the Glue-Nail database system. The Nail language 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 both compile into the target language IGlue. The Nail compiler uses variants of the magic sets algorithm, and supports well-founded models. Static optimization is performed by the Glue compiler using techniques that include peephole methods and data flow analysis. The IGlue code is executed by the IGlue interpreter, which features a run-time adaptive optimizer. The three optimizers each deal with separate optimization domains, and experiments indicate that an effective synergism is achieved. The Glue-Nail system is largely complete and has been tested using a suite of representative applications.

References

[1]

R. Alverson, T. Blank, K. Choi, S. Y. Hwang, A. Salz, L. Soule, and T. Rokicki.THOR user's manual: Tutorial and commands.Technical Report CSL- TR-88-348, Computer Systems Laboratory, Stanford University, 1988.

Digital Library

[2]

F. Bancilhon. Naive evaluation of recursively defined relations. In M. L. Brodie and J. Mylopoulos, editors, On Knowledge Base Management Systems, pages 165- 178. Springer-Verlag, New York, New York, 1986.

[3]

W. Chen, M. Kifer, and D. S. Warren. HiLog: A first-order semantics of higher-order logic programming constructs. In Logic Programming: Proceedings o} North American Conlerence, pages 1090-1114, 1989.

[4]

M. A. Derr. Adaptive Optimization in a Database Programming Language. PhD thesis, Stanford University, Stanford, California, December 1992. Department of Computer Science Report No. STAN-CS-92-1460.

Digital Library

[5]

M. Freeston. The BANG file: a new kind of grid file. In Proceed, ngs of the 1987 A CM SIGMOD International Conference on Management of Data, San Francisco, USA, 1987.

Digital Library

[6]

P. Griffiths Selinger, M. M. Atrahan, D. D. Chamberlin, R. A. Lorie, and T. G. Price. Access path selection in a relational database management system. In Proceedings of the A CM SIGMOD International Conference on Management of Data, pages 23-34. ACM, 1979.

Digital Library

[7]

D. B. Kemp, K. Ramamohanarao, and Z. Somogyi. Right-, left- and multi-linear rule transformations that maintain context information. In Proceedings of the Sixteenth International Conference on Very Large Databases, pages 13-16, Brisbane, Australia, 1990.

Digital Library

[8]

D. B. Kemp, P. J. Stuckey, and D. Srivastava. Query restricted bottom-up evaluation of well-founded models. In Proceedings of the 1992 Joint Conference and Symposium on Logic Programming, Washington DC, 1992.

[9]

J.-M. Kerisit and 3.-M. Pugin. Efficient query answering on stratified databases. In Proceedings of International Conference on F#fth Generation Computer Systems, pages 719-726, 1988.

[10]

S. Morishita. An alternating fixpoint tailored to magic programs. In Proceedings of the 1993 A CM SIGA CT-SIGMOD-SIGART Symposium on Principles of Database Systems, Washington DC, May 1993.

Digital Library

[11]

K. Morris, J. F. Naughton, Y. Saraiya, J. D. Unman, and A. Van Calder. YAWN! (Yet Another Window on NAIL!). Data Engineering, 10(4):28-43, 1987.

[12]

K. Morris, J. D. Ullman, and A. Van Gelder. Design overview of the NAIL! system. In Proceedings 3rd Int Conference on Logic Programming, pages 554-568, New York, 1986. Springer-Verlag.

Digital Library

[13]

S. Naqvi and S. Tsur. A Logzcal Language for Data and Knowledge Bases. Computer Science Press, New York, 1989.

Digital Library

[14]

G. Phipps. Glue: A Deductive Database Programming Language. PhD thesis, Stanford University, Stanford, California, July 1992. Department of Computer Science Report No. STAN-CS-92-1437.

Digital Library

[15]

G. Phipps, M. A. Deft, and K. A. Ross. Glue- Nail: A deductive database system. In Proceedings of the 1991 A CM SIGMOD International Conference on Management of Data, 1991.

Digital Library

[16]

R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL--Control relations and logic. In Proceedings of the Eighteenth International Conference on Very Large Data Bases, pages 238-250, 1992.

Digital Library

[17]

K. Ross. Modularly stratification and magic sets for datalog programs with negation. In Proceedings of the 1990 A CM SIGA CT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 161-171, 1990.

Digital Library

[18]

J.A. Thom and J. Zobel. Nu-Prolog Reference Manual, version 1.5.24. Technical Report 86/10, Department of Computer Science, University of Melbourne, 1990.

[19]

J. D. Ullman. Principles of Database and Knowledge. Base Systems, volume 2. Computer Science Press, Rockville, Maryland, 1989.

Digital Library

[20]

J. Vaghani, K. Ramamohanarao, D. B. Kemp, Z. Somogyi, and P. J. Stuckey. The Aditi deductive database system. In J. Chomicki, editor, Proceedings of the NACLP'90 Workshop on Deductive Databases. Kansas State University Technical Report TR-CS-90-14, 1990.

[21]

A. Van Calder. The alternating fixpoint of logic programs with negation. In Proceedings of the 1989 A CM SIGA CT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 1-10, 1989.

Digital Library

[22]

L. Vielle. Recursive axioms in deductive databases: The query/sub-query approach. In L. Kerschberg, editor, Expert Database Systems. The Benjamin/Cummings Publishing Company, 1987.

[23]

L. Vielle, P. Bayer, V. Kiichenhoff, and A. Lefebvre. EKS-V1, a short overview. In AAA1 Workshop on Knowledge Base Management Systems, Boston, USA, 1990.

[24]

K.-Y. Whang and R. Krishnamurthy. Query optimization in a memory-resident domain relational calculus database system. A CM Transactions on Database Systems, 15(1):67-95, 1990.

Digital Library

Cited By

Minker J(2005)Logic and databases: A 20 year retrospectiveLogic in Databases10.1007/BFb0031734(1-57)Online publication date: 26-Jun-2005
https://doi.org/10.1007/BFb0031734
Minker J(1999)Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray ReiterLogical Foundations for Cognitive Agents10.1007/978-3-642-60211-5_18(234-299)Online publication date: 1999
https://doi.org/10.1007/978-3-642-60211-5_18
Minker J(1999)Deductive DatabasesWiley Encyclopedia of Electrical and Electronics Engineering10.1002/047134608X.W4310Online publication date: 27-Dec-1999
https://doi.org/10.1002/047134608X.W4310
Show More Cited By

Index Terms

Design and implementation of the glue-nail database system

Recommendations

Design and implementation of the glue-nail database system
SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data

We describe the design and implementation of the Glue-Nail database system. The Nail language 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 ...
The glue-nail deductive database system: design, implementation, and evaluation
Prototypes of deductive database systems

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 ...
Glue: a deductive database programming language

Comments

Information & Contributors

Information

Published In

cover image ACM SIGMOD Record

ACM SIGMOD Record Volume 22, Issue 2

June 1, 1993

558 pages

ISSN:0163-5808

DOI:10.1145/170036

Editors:
Peter Buneman
Univ. of Pennsylvania
,
Sushil Jajodia,
Won Kim
UniSQL, Inc., Austin, TX

Issue’s Table of Contents

SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data
June 1993
566 pages
ISBN:0897915925
DOI:10.1145/170035
Editors:
Peter Buneman
Univ. of Pennsylvania
,
Sushil Jajodia

Copyright © 1993 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993

Published in SIGMOD Volume 22, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

37
Total Citations
View Citations
418
Total Downloads

Downloads (Last 12 months)58
Downloads (Last 6 weeks)14

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Minker J(2005)Logic and databases: A 20 year retrospectiveLogic in Databases10.1007/BFb0031734(1-57)Online publication date: 26-Jun-2005
https://doi.org/10.1007/BFb0031734
Minker J(1999)Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray ReiterLogical Foundations for Cognitive Agents10.1007/978-3-642-60211-5_18(234-299)Online publication date: 1999
https://doi.org/10.1007/978-3-642-60211-5_18
Minker J(1999)Deductive DatabasesWiley Encyclopedia of Electrical and Electronics Engineering10.1002/047134608X.W4310Online publication date: 27-Dec-1999
https://doi.org/10.1002/047134608X.W4310
Naish LLee HRamamohanarao K(2011)A model for spectra-based software diagnosisACM Transactions on Software Engineering and Methodology10.1145/2000791.200079520:3(1-32)Online publication date: 26-Aug-2011
https://dl.acm.org/doi/10.1145/2000791.2000795
Chen JYang Y(2011)Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systemsACM Transactions on Software Engineering and Methodology10.1145/2000791.200079320:3(1-23)Online publication date: 26-Aug-2011
https://dl.acm.org/doi/10.1145/2000791.2000793
Falcone Sampaio PPaton N(2005)Deductive object-oriented database systems: A surveyRules in Database Systems10.1007/3-540-63516-5_14(1-19)Online publication date: 29-Jul-2005
https://doi.org/10.1007/3-540-63516-5_14
Walter BBenzschawel S(2005)Complex structures in (deductive) database systems: Variables and open property setsManagement and Processing of Complex Data Structures10.1007/3-540-57802-1_1(1-21)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-57802-1_1
Liu M(2001)The Relationlog system prototypeSoftware—Practice & Experience10.1002/spe.37831:5(409-443)Online publication date: 25-Apr-2001
https://dl.acm.org/doi/10.1002/spe.378
Liu M(2000)Design and Implementation of the ROL Deductive Object-Oriented Database SystemJournal of Intelligent Information Systems10.1023/A:100877400648215:2(121-146)Online publication date: 1-Sep-2000
https://dl.acm.org/doi/10.1023/A%3A1008774006482
Liu M(1999)Deductive database languagesACM Computing Surveys10.1145/311531.31153331:1(27-62)Online publication date: 1-Mar-1999
https://dl.acm.org/doi/10.1145/311531.311533
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents