Prolog-Based Meta-Rules For Relational Database Representation and Manipulation

A Prolog-based experimental system for relational databases that is not defined from the viewpoint of any specific relational topic is proposed. The idea is that the experimental system can be used in many different contexts such as query optimization, data restructuring and database design. The definition is based entirely on the theoretical foundations of the relational model. The experimental system offers a well-defined environment for studying how other systems can be integrated with relational databases. The use of the experimental system in the context of different approaches to deductive databases is considered. >

[1]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[2]  Shamkant B. Navathe,et al.  Restructuring for large databases: three levels of abstraction , 1975, TODS.

[3]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[4]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[5]  Alain Pirotte,et al.  A precise definition of basic relational notions and of the relational algebra , 1982, SGMD.

[6]  Robert Lucas,et al.  Database applications using Prolog , 1988 .

[7]  Umeshwar Dayal,et al.  Traversal recursion: a practical approach to supporting recursive applications , 1986, SIGMOD '86.

[8]  Takashi Yokomori.  A Logic Program Schema and Its Applications , 1985, IJCAI.

[9]  Antonin Guttman,et al.  New Features for Relational Database Systems to Support CAD Applications , 1984 .

[10]  Carlo Zaniolo,et al.  LDL: A Logic-Based Data Language , 1986, VLDB.

[11]  Michael Stonebraker,et al.  Implementation techniques for main memory database systems , 1984, SIGMOD '84.

[12]  T. Amble.  Logic programming and knowledge engineering , 1987 .

[13]  Patricia G. Selinger,et al.  Access path selection in a relational database management system , 1979, SIGMOD '79.

[14]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[15]  Deyi Li.  A PROLOG database system , 1984 .

[16]  Kalervo Järvelin,et al.  Boolean predicate reduction for file access , 1990 .

[17]  Susumu Kunifuji,et al.  An enhanced inference mechanism for generating relational algebra queries , 1984, PODS '84.

[18]  Dik Lun Lee,et al.  Logic Approaches for Deductive Databases , 1988, IEEE Expert.

[19]  Georg Gottlob,et al.  Normalization of relations and PROLOG , 1986, CACM.

[20]  Adrian Walker,et al.  PROSQL: A Prolog Programming Interface with SQL/DS , 1984, Expert Database Workshop.

[21]  Jeffrey D. Ullman,et al.  Implementation of logical query languages for databases , 1985, TODS.

[22]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[23]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[24]  Carlo Zaniolo,et al.  Prolog: A Database Query Language for All Seasons , 1984, Expert Database Workshop.

[25]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence , 1986 .

[26]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[27]  Henry F. Korth,et al.  The design of ¬ 1NF relational databases into nested normal form , 1987, SIGMOD '87.

[28]  John Miles Smith,et al.  Optimizing the performance of a relational algebra database interface , 1975, CACM.

[29]  Verónica Dahl,et al.  On database systems development through logic , 1982, TODS.

[30]  Patrick Valduriez,et al.  FAD, a Powerful and Simple Database Language , 1987, VLDB.

[31]  E. F. Codd,et al.  The Relational Model for Database Management, Version 2 , 1990 .

[32]  Donald D. Chamberlin,et al.  Implementation of a structured English query language , 1975, CACM.

[33]  Peter Naur.  Formalization in Program Development , 1982 .

[34]  Timo Niemi,et al.  Straightforward formalization of the relational model , 1985, Inf. Syst..

[35]  Heinz Zemanek.  Abstract Architecture , 1979, Abstract Software Specifications.

[36]  A. Y. Chan.  INDEX SELECTION IN A SELF-ADAPTIVE RELATIONAL DATA BASE MANAGEMENT SYSTEM , 1976 .

[37]  H. V. Jagadish,et al.  A study of transitive closure as a recursion mechanism , 1987, SIGMOD '87.

[38]  Peter M. D. Gray.  Efficient Prolog access to CODAYSL and FDM databases , 1985, SIGMOD '85.

[39]  Charles Kellogg,et al.  Optimizing the Rule-Data Interface in a KMS , 1986, VLDB.

[40]  Catriel Beeri,et al.  Sets and negation in a logic data base language (LDL1) , 1987, PODS.

[41]  Z. Meral Özsoyoglu,et al.  A normal form for nested relations , 1985, PODS.

[42]  Dines Bjørner.  Programming in the META-Language: A Tutorial , 1978, The Vienna Development Method: The Meta-Language.

[43]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[44]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[45]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[46]  Ben Shneiderman,et al.  An architecture for automatic relational database sytem conversion , 1982, TODS.

[47]  Timo Niemi,et al.  Specification of a query language by the attribute method , 1984, BIT.

[48]  Michael L. Brodie.  Research issues in database specification , 1983, SGMD.

[49]  Eric K. Clemons.  Design of an external schema facility to define and process recursive structures , 1981, TODS.

[50]  Dina Bitton.  Panel: The effect of large main memory on database systems , 1986, SIGMOD '86.

[51]  Stavros Christodoulakis,et al.  Estimating record selectivities , 1983, Inf. Syst..

[52]  Verónica Dahl,et al.  Logic Grammars , 1989, Symbolic Computation.

[53]  Rakesh Agrawal.  Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries , 1988, IEEE Trans. Software Eng..

[54]  Toby J. Teorey,et al.  Design of Database Structures , 1982 .

[55]  Edward Sciore,et al.  Towards an Integrated Database-Prolog System , 1984, Expert Database Workshop.

[56]  Claude Delobel.  An Overview of the Relational Data Theory , 1980, IFIP Congress.

[57]  Chin-Liang Chang.  On Evaluation of Queries Containing Derived Relations in a Relational Data Base , 1979, Advances in Data Base Theory.

[58]  W. Alex Gray,et al.  A Source-to-Source Meta-Translation System for Relational Query Languages , 1987, VLDB.

[59]  Antonin Guttman.  New features for a relational database system to support computer aided design , 1984 .

[60]  M.McGee Wood,et al.  Natural language processing in Prolog , 1990 .