Design and Implementation of the Glue-Nail Database System

ACM SIGMOD Record

Volumn 22, Issue 2, 1993, Pages 147-156

  Derr, Marcia A ^a   Morishita, Shinichi ^b   Phipps, Geoffrey ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b IBM RESEARCH TOKYO   (Japan)

^c SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; GLUES; GLUING; PROGRAM COMPILERS; QUERY LANGUAGES; ALGORITHMS; DATA PROCESSING; DATA STRUCTURES; ENCODING (SYMBOLS); OPTIMIZATION; PROCEDURE ORIENTED LANGUAGES; PROGRAM INTERPRETERS; STRUCTURED PROGRAMMING; SYSTEMS ANALYSIS;

DECLARATIVE QUERY LANGUAGES; DESIGN AND IMPLEMENTATIONS; GLUE-CODES; MAGIC SETS; OPTIMIZERS; PROCEDURAL LANGUAGES; SET ALGORITHM; STATIC OPTIMIZATION; TARGET LANGUAGE; WELL-FOUNDED MODELS;

QUERY PROCESSING; DATABASE SYSTEMS;

DATA FLOW ANALYSIS; GLUE NAIL DATABASE SYSTEM; MAGIC SET ALGORITHM; PEEPHOLE; VARIANT;

EID: 0027621754     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/170036.170065     Document Type: Article

References (24)

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.
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 of North American Conference, 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.
5. M. Freeston. The BANG file: a new kind of grid file. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, San Francisco, USA, 1987.
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 ACM SIGMOD International Conference on Management of Data, pages 23-34. ACM, 1979.
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.
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 J.-M. Pugin. Efficient query answering on stratified databases. In Proceedings of International Conference on Fifth Generation Computer Systems, pages 719-726, 1988.
10. S. Morishita. An alternating fixpoint tailored to magic programs. In Proceedings of the 1993 ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Washington DC, May 1993.
11. K. Morris, J. F. Naughton, Y. Saraiya, J. D. Ullman, and A. Van Gelder. 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.
13. S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989.
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.
15. G. Phipps, M. A. Derr, and K. A. Ross. Glue-Nail: A deductive database system. In Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991.
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.
17. K. Ross. Modularly stratification and magic sets for datalog programs with negation. In Proceedings of the 1990 ACM SIGA CT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 161-171, 1990.
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.
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 Gelder. The alternating fixpoint of logic programs with negation. In Proceedings of the 1989 ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 1-10, 1989.
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. Küchenhoff, and A. Lefebvre. EKS-V1, a short overview. In AAAI 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. ACM Transactions on Database Systems, 15(1): 67-95, 1990.