Optimizing Queries Using a Meta-level Database

Graph simulation (using graph schemata or data guides) has been successfully proposed as a technique for adding structure to semistructured data. Design patterns for description (such as meta-classes and homomorphisms between schema layers), which are prominent in the object-oriented programming community, constitute a generalization of this graph simulation approach. In this paper, we show description applicable to a wide range of data models that have some notion of object (-identity), and propose to turn it into a data model primitive much like, say, inheritance. We argue that such an extension fills a practical need in contemporary data management. Then, we present algebraic techniques for query optimization (using the notions of described and description queries). Finally, in the semistructured setting, we discuss the pruning of regular path queries (with nested conditions) using description meta-data. In this context, our notion of meta-data extends graph schemata and data guides by meta-level values, allowing to boost query performance and to reduce the redundancy of data.

[1]  Jennifer Widom,et al.  The Lorel query language for semistructured data , 1997, International Journal on Digital Libraries.

[2]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[3]  J W Ballard,et al.  Data on the web? , 1995, Science.

[4]  Richard McClatchey,et al.  Explicit Modeling of the Semantics of Large Multi-layered Object-Oriented Databases , 2000, ER.

[5]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[6]  Z. Meral Özsoyoglu,et al.  A system for semantic query optimization , 1987, SIGMOD '87.

[7]  Laks V. S. Lakshmanan,et al.  On semantic query optimization in deductive databases , 1992, [1992] Eighth International Conference on Data Engineering.

[8]  Z. Meral Özsoyoglu,et al.  On Efficient Reasoning with Implication Constraints , 1993, DOOD.

[9]  Alfred V. Aho,et al.  The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[10]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[11]  Jonathan J. King QUIST: A System for Semantic Query Optimization in Relational Databases , 1981, VLDB.

[12]  Alon Y. Halevy,et al.  Semantic query optimization in Datalog programs (extended abstract) , 1995, PODS '95.

[13]  Dan Suciu,et al.  Optimizing regular path expressions using graph schemas , 1998, Proceedings 14th International Conference on Data Engineering.

[14]  Laks V. S. Lakshmanan,et al.  On Efficiently Implementing SchemaSQL on an SQL Database System , 1999, VLDB.

[15]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[16]  Dan Suciu,et al.  Adding Structure to Unstructured Data , 1997, ICDT.

[17]  Ira R. Forman,et al.  Putting metaclasses to work: a new dimension in object-oriented programming , 1999 .

[18]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[19]  Wolfgang Schulze Fitting the Workflow Management Facility into the Object Management Architecture , 1998 .

[20]  Brigitte Kerhervé,et al.  Models for Metadata or Metamodels for Data? , 1997, MD.

[21]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[22]  Divesh Srivastava,et al.  Answering Queries Using Views. , 1999, PODS 1995.

[23]  Edward Sciore,et al.  A method for automatic rule derivation to support semantic query optimization , 1992, TODS.

[24]  Dan Suciu,et al.  A query language and optimization techniques for unstructured data , 1996, SIGMOD '96.

[25]  Louiqa Raschid,et al.  Semantic query optimization for object databases , 1997, Proceedings 13th International Conference on Data Engineering.

[26]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[27]  D. Van Gucht,et al.  MD-SQL: A Language for Meta-Data Queries over Relational Databases , 1999 .

[28]  Stanley B. Zdonik,et al.  Knowledge-Based Query Processing , 1980, VLDB.

[29]  Michael R. Blaha,et al.  Object-Oriented Modeling and Design for Database Applications , 1997 .

[30]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[31]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.