Implementation concepts for an extensible data model and data language

Future database systems must feature extensible data models and data languages in order to accommodate the novel data types and special-purpose operations that are required by nontraditional database applications. In this paper, we outline a functional data model and data language that are targeted for the semantic interface of GENESIS, an extensible DBMS. The model and language are generalizations of FQL [11] and DAPLEX [40], and have an implementation that fits ideally with the modularity required by extensible database technologies. We explore different implementations of functional operators and present experimental evidence that they have efficient implementations. We also explain the advantages of a functional front-end to ¬1NF databases, and show how our language and implementation are being used to process queries on both 1NF and ¬1NF relations.

[1]  Ken Thompson,et al.  The UNIX time-sharing system , 1974, CACM.

[2]  Mark A Roth,et al.  Theory of Non-First Norman Form Relational Databases , 1986 .

[3]  Michael Stonebraker,et al.  The design of POSTGRES , 1986, SIGMOD '86.

[4]  Michael A. Malcolm,et al.  Computer methods for mathematical computations , 1977 .

[5]  Don S. Batory,et al.  Modeling the storage architectures of commercial database systems , 1985, TODS.

[6]  Roger King,et al.  CACTIS: A Database System for Specifying Functinonally-Defined Data , 1986, OODBS.

[7]  Peter Buneman,et al.  FQL: a functional query language , 1979, SIGMOD '79.

[8]  Michael Stonebraker,et al.  Application of Abstract Data Types and Abstract Indices to CAD Data Bases , 1986, Engineering Design Applications.

[9]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[10]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[11]  Leonard D. Shapiro,et al.  Join processing in database systems with large main memories , 1986, TODS.

[12]  Nathan Goodman,et al.  Rule-based transformation of relational queries into iterative programs , 1986, SIGMOD '86.

[13]  D. A. Turner,et al.  A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[14]  Sandra Heiler,et al.  G-WHIZ, a Visual Interface for the Functional Model with Recursion , 1985, VLDB.

[15]  Umeshwar Dayal,et al.  PROBE: A Knowledge-Oriented Database Management System , 1986, On Knowledge Base Management Systems.

[16]  David J. DeWitt,et al.  The EXODUS optimizer generator , 1987, SIGMOD '87.

[17]  Stanley B. Zdonik.  Object-oriented data model , 1990 .

[18]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[19]  Patricia G. Selinger,et al.  Support for repetitive transactions and ad hoc queries in System R , 1981, TODS.

[20]  Won Kim,et al.  Modeling concepts for VLSI CAD objects , 1985, TODS.

[21]  Calvin C. Gotlieb,et al.  A unifying model of physical databases , 1982, TODS.

[22]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[23]  Peter Dadam,et al.  A DBMS prototype to support extended NF2 relations: an integrated view on flat tables and hierarchies , 1986, SIGMOD '86.

[24]  Carlo Zaniolo,et al.  The database language GEM , 1983, SIGMOD '83.

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

[26]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[27]  Hamid Pirahesh,et al.  Extensibility in the Starburst Database System , 1986, OODBS.

[28]  Larry Kerschberg,et al.  Data architecture and data model considerations , 1899, AFIPS '77.

[29]  David J. DeWitt,et al.  Benchmarking Database Systems A Systematic Approach , 1983, VLDB.

[30]  Peter Henderson,et al.  Functional programming - application and implementation , 1980, Prentice Hall International Series in Computer Science.

[31]  Peter M. D. Gray.  Logic, algebra and databases , 1984, Ellis Horwood series in computers and their applications.

[32]  N. S. Barnett,et al.  Private communication , 1969 .

[33]  Nathan Goodman,et al.  Translating Aggregate Queries into Iterative Programs , 1986, VLDB.

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

[35]  F KorthHenry,et al.  SQL/NF: a query language for 1NF relational databases , 1987 .

[36]  David J. DeWitt,et al.  Extensible Database Systems , 1985, On Knowledge Base Management Systems.

[37]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[38]  Peter Pistor,et al.  Designing A Generalized NF2 Model with an SQL-Type Language Interface , 1986, VLDB.

[39]  A. Retrospective,et al.  The UNIX Time-sharing System , 1977 .

[40]  Roger L. Haskin,et al.  On extending the functions of a relational database system , 1982, SIGMOD '82.

[41]  Umeshwar Dayal,et al.  PDM: An Object-Oriented Data Model , 1986, OODBS.

[42]  F. Grund.  Forsythe, G. E. / Malcolm, M. A. / Moler, C. B., Computer Methods for Mathematical Computations. Englewood Cliffs, New Jersey 07632. Prentice Hall, Inc., 1977. XI, 259 S , 1979 .

[43]  David Maier,et al.  Proteus: Objectifying the DBMS User Interface , 1986, OODBS.

[44]  Don S. Batory,et al.  GENESIS: An Extensible Database Management System , 1988, IEEE Trans. Software Eng..

[45]  Michael Stonebraker,et al.  Inclusion of new types in relational data base systems , 1986, 1986 IEEE Second International Conference on Data Engineering.

[46]  Henry F. Korth,et al.  SQL/NF: a query language for ¬1 NF relational databases , 1987, Inf. Syst..