koch-meta.bbl
\newcommand{\SortNoOp}[1]{}
\begin{thebibliography}{10}

\bibitem{ABS2000}
S.~Abiteboul, P.~Buneman, and D.~Suciu.
\newblock {\em {Data on the Web}}.
\newblock Morgan Kaufmann Publishers, 2000.

\bibitem{AHV95}
S.~Abiteboul, R.~Hull, and V.~Vianu.
\newblock {\em {Foundations of Databases}}.
\newblock Addison-Wesley, 1995.

\bibitem{AQM+96}
S.~Abiteboul, D.~Quass, J.~McHugh, J.~Widom, and J.~L. Wiener.
\newblock {``The Lorel Query Language for Semistructured Data''}.
\newblock {\em International Journal on Digital Libraries}, {\bf 1}(1):68--88,
  1997.

\bibitem{ABU79}
A.~V. Aho, C.~Beeri, and J.~D. Ullman.
\newblock {``The Theory of Joins in Relational Databases''}.
\newblock {\em ACM Transactions on Database Systems}, {\bf 4}(3):297--314,
  1979.

\bibitem{BP98}
M.~Blaha and W.~Premerlani.
\newblock {\em {Object-Oriented Modeling and Design for Database
  Applications}}.
\newblock Prentice Hall, July 1997.

\bibitem{BDHS96}
P.~Buneman, S.~Davidson, G.~Hillebrand, and D.~Suciu.
\newblock {``A Query Language and Optimization Techniques for Unstructured
  Data''}.
\newblock In {\em Proceedings of the 1996 ACM SIGMOD International Conference
  on Management of Data (SIGMOD'96)}, 1996.

\bibitem{BDFS97}
P.~Buneman, S.~B. Davidson, M.~F. Fernandez, and D.~Suciu.
\newblock {``Adding Structure to Unstructured Data''}.
\newblock In F.~N. Afrati and P.~Kolaitis, editors, {\em Proc. ICDT'97}, volume
  1186 of {\em Lecture Notes in Computer Science}, pages 336--350, Delphi,
  Greece, Jan. 1997. Springer.

\bibitem{CGM90}
U.~S. Chakravarthy, J.~Grant, and J.~Minker.
\newblock {``Logic-based Approach to Semantic Query Optimization''}.
\newblock {\em ACM Transactions on Database Systems}, {\bf 15}(2):162--207,
  June 1990.

\bibitem{CKW89}
W.~Chen, M.~Kifer, and D.~S. Warren.
\newblock {``HiLog: A Foundation for Higher-Order Logic Programming''}.
\newblock Technical report, Dept. of CS, SUNY at Stony Brook, 1989.

\bibitem{CRISTAL}
J.~Draskic, J.-M.~L. Goff, I.~Willers, F.~Estrella, Z.~Kovacs, R.~McClatchey,
  and M.~Zsenei.
\newblock {``Using a Meta-Model as the Basis for Enterprise-Wide Data
  Navigation''}.
\newblock In {\em Proc. 3rd IEEE META-DATA Conf.}, Bethesda, Maryland USA, Apr.
  1999.

\bibitem{FS98}
M.~F. Fernandez and D.~Suciu.
\newblock {``Optimizing Regular Path Expressions Using Graph Schemas''}.
\newblock In {\em Proceedings of the Fourteenth International Conference on
  Data Engineering}, pages 14--23, Orlando, Florida, USA, Feb. 1998.

\bibitem{FD98}
I.~Foreman and S.~Danforth.
\newblock {\em {``Putting Metaclasses to Work -- A New Dimension in
  Object-Oriented Programming''}}.
\newblock Addison Wesley, 1998.

\bibitem{GGMR97}
J.~Grant, J.~Gryz, J.~Minker, and L.~Raschid.
\newblock {``Semantic Query Optimization for Object Databases''}.
\newblock In {\em Proceedings of the 13th IEEE International Conference on Data
  Engineering (ICDE'97)}, pages 444--453, Birmingham, UK, Apr. 1997.

\bibitem{HZ80}
M.~Hammer and S.~Zdonik.
\newblock {``Knowledge-Based Query Processing''}.
\newblock In {\em Proceedings of the 6th International Conference on Very Large
  Data Bases (VLDB'80)}, pages 137--147, Montreal, Quebec, Canada, Oct. 1980.

\bibitem{HU79}
J.~E. Hopcroft and J.~D. Ullman.
\newblock {\em {``Introduction to Automata Theory, Languages, and
  Computation''}}.
\newblock Addison-Wesley Publishing Company, Reading, MA USA, 1979.

\bibitem{JGJ+95}
M.~Jarke, R.~Gallersd\"orfer, M.~A. Jeusfeld, M.~Staudt, and S.~Eherer.
\newblock {``ConceptBase -- A Deductive Object Base for Meta Data
  Management''}.
\newblock {\em Journal of Intelligent Information Systems, Special Issue on
  Advances in Deductive Object-Oriented Databases}, {\bf 4}(2):167--192, 1995.

\bibitem{KG97}
B.~Kerherv\'e and O.~Gerb\'e.
\newblock {``Models for Metadata or Metamodels for Data?''}.
\newblock In {\em Proc. 2nd IEEE Metadata Conference}, Silver Spring, Maryland
  USA, Sept. 1997.

\bibitem{KL89}
M.~Kifer and G.~Lausen.
\newblock {``F-Logic: A Higher-Order Language for Reasoning about Objects,
  Inheritance, and Scheme''}.
\newblock In {\em Proceedings of the 1989 ACM SIGMOD International Conference
  on Management of Data (SIGMOD'89)}, pages 134--146, Portland, OR USA, 1989.

\bibitem{King81}
J.~King.
\newblock {``QUIST: A System for Semantic Query Optimization in Relational
  Databases''}.
\newblock In {\em Proceedings of the 7th International Conference on Very Large
  Data Bases (VLDB'81)}, pages 510--517, Cannes, France, Sept. 1981.

\bibitem{KKLMPS2000}
C.~Koch, Z.~Kovacs, J.-M. {Le Goff}, R.~McClatchey, P.~Petta, and
  T.~Solomonides.
\newblock {``Explicit Modeling of the Semantics of Large Multi-layered
  Object-Oriented Databases''}.
\newblock In {\em Proceedings of the 19th International Conference on
  Conceptual Modeling (ER'2000)}, Salt Lake City, Utah USA, Oct. 2000. Springer
  LNCS 1920.

\bibitem{LM92}
L.~V.~S. Lakshmanan and R.~Missaoui.
\newblock {``On Semantic Query Optimization in Deductive Databases''}.
\newblock In {\em Proceedings of the 8th IEEE International Conference on Data
  Engineering (ICDE'92)}, pages 368--375, Phoenix, AZ USA, February 1992.

\bibitem{LSS99}
L.~V.~S. Lakshmanan, F.~Sadri, and S.~N. Subrahmanian.
\newblock {``On Efficiently Implementing SchemaSQL and a SQL Database
  System''}.
\newblock In {\em Proceedings of the 25th International Conference on Very
  Large Data Bases (VLDB'99)}, Edinburgh, Scotland, 1999.

\bibitem{LMSS95}
A.~Y. Levy, A.~O. Mendelzon, Y.~Sagiv, and D.~Srivastava.
\newblock {``Answering Queries Using Views''}.
\newblock In {\em Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on
  Principles of Database Systems (PODS) 1995}, San Jose, CA USA, 1995.

\bibitem{LS95}
A.~Y. Levy and Y.~Sagiv.
\newblock {``Semantic Query Optimization in Datalog Programs (Extended
  Abstract)''}.
\newblock In {\em Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on
  Principles of Database Systems (PODS) 1995}, San Jose, CA USA, 1995.

\bibitem{MMS79}
D.~Maier, A.~O. Mendelzon, and Y.~Sagiv.
\newblock {``Testing Implications of Data Dependencies''}.
\newblock {\em ACM Transactions on Database Systems}, {\bf 4}(4):455--469,
  1979.

\bibitem{MDC99}
{{Meta Data Coalition}}.
\newblock {``Open Information Model: Business Engineering Model (July 15, 1999
  Review draft)''}.
\newblock {\tt http://www.MDCinfo.com/OIM/models/BEM.html}.

\bibitem{MDA2001}
{Object Management Group}.
\newblock {``OMG Model Driven Architecture''}, 2001.
\newblock http://www.omg.org/mda/.

\bibitem{RGW99}
C.~M. Rood, D.~{Van Gucht}, and F.~I. Wyss.
\newblock {``MD-SQL: A Language for Meta-data Queries over Relational
  Databases''}.
\newblock Technical Report TR528, Dept. of CS, Indiana University, 1999.

\bibitem{RBPEL91}
J.~Rumbaugh, M.~Blaha, W.~Premerlani, F.~Eddy, and W.~Lorensen.
\newblock {\em {``Object-Oriented Modeling and Design"}}.
\newblock Prentice-Hall, Englewood Cliffs, New Jersey, 1991.

\bibitem{Schulze97}
W.~Schulze.
\newblock {``Fitting the Workflow Management Facility into the Object
  Management Architecture''}.
\newblock In {\em Proc. OOPSLA'97 Business Object Workshop}, Atlanta, GA USA,
  Oct. 1997.

\bibitem{SO87}
S.~T. Shenoy and Z.~M. \"Ozsoyoglu.
\newblock {``A System for Semantic Query Optimization''}.
\newblock In {\em Proc. SIGMOD'87}, pages 181--195, San Francisco, California,
  May 1987.

\bibitem{SSS92}
M.~Siegel, E.~Sciore, and S.~Salveter.
\newblock {``A Method for Automatic Rule Derivation to Support Semantic Query
  Optimization''}.
\newblock {\em ACM Transactions on Database Systems}, {\bf 17}(4):563--600,
  Dec. 1992.

\bibitem{XPath}
{World Wide Web Consortium}.
\newblock http://www.w3c.org/tr/xpath/.

\bibitem{XQuery}
{World Wide Web Consortium}.
\newblock http://www.w3.org/tr/xquery/.

\bibitem{ZO93}
X.~Zhang and Z.~M. \"Ozsoyoglu.
\newblock {``On Efficient Reasoning with Implication Integrity Constraints"}.
\newblock In {\em Proc. 3rd DOOD Conf.}, pages 236--252, 1993.

\end{thebibliography}
