@misc{commento,
   commento = {per gli atti che sono volumi di una serie, come
               lncs, usare
               series = lncs e volume = "xx";
               per gli atti che sono pubblicazione
               di una istituzione, usare
               series = "Nome Istituzione - Rapp. Tecnico" e
               volume = "xx"
               per i lavori del gruppo ho introdotto un campo
               aggiuntivo,
               che viene ignorato da tutti gli stili standard,
               che permette
               di discriminare il tipo di lavoro sulla base
               delle classificazioni CNR
               1 - rivista internazionale
               2 - libro internazionale
               3 - rivista nazionale
               4 - libro nazionale
               5 - convegno internazionale
               6 - convegno nazionale
               7 - rapporto tecnico e non pubblicatoxx},
}
@String{lncs = {Lecture Notes in Computer Science }
}
@String{tkde = {{IEEE} Transactions on Knowledge and Data
Engineering}
}
@String{jsl = {Journal of Symbolic Logic}}

@String{tods = {TODS}}
@String{ack-nhfb = {ack-nhfb}}
@String{jan = {January}}
@String{feb = {February}}
@String{mar = {March}}
@String{apr = {April}}
@String{may = {May}}
@String{jun = {June}}
@String{jul = {July}}
@String{aug = {August}}
@String{sep = {September}}
@String{oct = {October}}
@String{nov = {November}}
@String{dec = {December}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Bibliography of Alain Fergnani %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@INPROCEEDINGS{NoyMusen,
  AUTHOR =       "Natalya F. Noy and Mark A. Musen",
  TITLE =        "Evaluating Ontology-Mapping Tools: Requirements and Experience.",
  BOOKTITLE =    "2002 in 13th International Conference on
  Knowledge Engineering and Knowledge Management (EKAW2002)",
  YEAR =         "2002",
  address =      "Siguenza, Spain",
  month =        "October 1-4"
}

@MASTERSTHESIS{tesi:VGuidetti,
  AUTHOR =       "Veronica Guidetti",
  TITLE =        "Intelligent Information Integration systems: extending lexicon ontology.",
  SCHOOL =       "Universit\`a di Modena e Reggio Emilia, Facolt\`a di Ingegneria, corso di laurea in Ingegneria
  Informatica",
  YEAR =         "2001-2002",
  address =      "Modena, Italy",
  note =         "Available from http://www.dbgroup.ing.unimo.it/"
}

@MASTERSTHESIS{tesi:LLugli,
  AUTHOR =       "Lorenzo Lugli",
  TITLE =        "Integrazione di Sorgenti HTML in MOMIS: Analisi Comparativa degli Strumenti Esistenti.",
  SCHOOL =       "Universit\`a di Modena e Reggio Emilia, Facolt\`a di Ingegneria, corso di laurea in Ingegneria
  Informatica",
  YEAR =         "2001-2002",
  address =      "Modena, Italy",
  note =         "Available from http://www.dbgroup.ing.unimo.it/"
}

@INBOOK{Chalpusky00,
  AUTHOR =       "Hans Chalpusky",
  editor =       "Anthony G. and Fausto Giunchiglia and Bart Selman",
  TITLE =        "OntoMorph: A translation system for synbolic logic.",
  pages =        "471-482",
  PUBLISHER =    "Morgan Kaufmann",
  YEAR =         "2000",
  volume =       "KR2000: Principles of Knowledge Representation and Reasoning.",
  address =      "San Francisco, CA"
}


@TECHREPORT{Del1.3,
  AUTHOR =       "Asunci\'on G\'omez P\'erez",
  TITLE =        "A survey on ontology tools",
  INSTITUTION =  "OntoWeb Ontology-based information exchange for knowledge
  management and electronic commerce, IST-2000-29243",
  YEAR =         "2002",
  type =         "Deliverable",
  number =       "1.3",
  month =        "May"
}

@ARTICLE{artemis,
  AUTHOR =       "Castano S. and De Antonellis V. and  De Capitani Di Vimercati S.",
  TITLE =        "Global Viewing of Heterogeneous Data Sources",
  JOURNAL =      "IEEE Transactions TKDE",
  YEAR =         "2001",
  number =       "13(2)",
  pages =        "277-297"
}

@INPROCEEDINGS{shoe,
  AUTHOR =       "J. Heflin and J. Hendler",
  TITLE =        "Dynamic Ontologies on the Web.",
  BOOKTITLE =    "7th National Conference on Artificial Intelligence (AAAI-2000)",
  YEAR =         "2000",
  editor =       "AAAI/MIT Press",
  address =      "Menlo Park, CA, USA",
  pages =        "443-449"
}


@ARTICLE{Woold95,
  AUTHOR =       "M. Wooldridge and N.R. Jennings",
  TITLE =        "Intelligent Agents: Theories and practice.",
  JOURNAL =      "The Knowledge Engineering Review",
  YEAR =         "1995",
  volume =       "10(2)",
  pages =        "115-152"
}

@INPROCEEDINGS{MaedcheEtAl2002,
  AUTHOR =       "A. Maedche and B. Motik and N. Silva and R. Volz",
  TITLE =        "MAFRA-A MApping FRAmework for Distributed Ontologies.",
  BOOKTITLE =    "13th International Conference on Knowledge
  Engineering and Knowledge Management (EKAW2002)",
  YEAR =         "2002",
  address =      "Siguenza, Spain",
  month =        "October 1-4"
}


@CONFERENCE{Keller95,
  author =       {Arthur M. Keller},
  title =        {Smart Catalogos and Virtual Catalogs},
  booktitle =    {International Conference on Frontiers of Electronic},
  year =         {1995},
  month =        {October},
  note =         {Earlier version appeared in USENIX Workshop on Electronic Commerce,
July 1995. A later version is http://wwwdb.stanford.edu/pub/keller}
}

@ARTICLE{Bates86,
  AUTHOR =       "M. Bates",
  TITLE =        "Subject access in online catalogs: A design model.",
  JOURNAL =      "Journal of the American Society for Information Science",
  YEAR =         "1986",
  volume =       "11",
  pages =        "357-376"
}

@article{dke99,
   author =  {S. Bergamaschi and S. Castano and D. Beneventano and M. Vincini},
   title =   {Semantic Integration of Heterogeneous Information Sources},
   journal = {Special Issue on Intelligent Information Integration, Data
   and Knowledge Engineering},
   volume =  "36",
   number =  "1",
   pages =   {215-249},
   editor =  "Elsevier Science B.V.",
   year =    "2001"
}

@MASTERSTHESIS{Zanni2000,
  AUTHOR =       "Silvia Zanni",
  TITLE =        "Il componente query manager di momis: esecuzione di
interrogazioni.",
  SCHOOL =       "Università di Modena e Reggio Emilia",
  YEAR =         "2000",
  address =      "Modena, Italy",
  note =         "Available from http://sparc20.ing.unimo.it, Written
in Italian."
}

@ARTICLE{IEEE2002,
  AUTHOR =       "I. Benetti and D. Beneventano and S. Bergamaschi and F. Guerra and M. Vincini",
  TITLE =        "An Information Integration Framework for E-Commerce",
  JOURNAL =      "IEEE Intelligent Systems Magazine",
  YEAR =         "2002",
  month =        "Jannuary/February"
}

@ARTICLE{Semantic2001,
  AUTHOR =       "J. Hendler and O. Lassila and T. Berners-Lee",
  TITLE =        "The Semantic Web, A new form of Web content
  that is meaningful to computers will unleash a revolution of new possibilities",
  JOURNAL =      "Scientific American",
  YEAR =         "2001",
  month =        "May",
  source =       "http://www.sciam.com/"
}


@TECHREPORT{Noy2000,
  AUTHOR =       "N. F. Noy and D. McGuinness",
  TITLE =        "Ontology Development 101: A Guide to creating your first Ontology",
  INSTITUTION =  "Standford KSL",
  YEAR =         "2000",
  type =         "Technical Report",
  number =       "KLS-01-05"
}

@ARTICLE{Sure2002,
  AUTHOR =       "Y. Sure",
  TITLE =        "On-To-Knowledge -- Ontology based Knowledge Management Tools and their Application.",
  JOURNAL =      "German Journal Kuenstliche Intelligenz, Special Issue on Knowledge Management",
  volume =       "(1/02)",
  YEAR =         "2002"
}

@ARTICLE{Staab2001,
  AUTHOR =       "S. Staab and H.P. Schnurr and R. Studer and Y. Sure",
  TITLE =        "Knowledge Processes and Ontologies",
  JOURNAL =      "IEEE Intelligent Systems",
  YEAR =         "2001",
  volume =       "Special Issue on KM",
  number =       "16"
}


@InProceedings{Fensel2001,
  author =       "M. Klein and D. Fensel",
  title =        "Ontology versioning on the Semantic Web.",
  booktitle =    "International Semantic Web Working Symposium (SWWS)",
  address =      "Stanford University, USA",
  month =        "July 30 - August 1",
  pages =        "75-91",
  year =         "2001"
}

@ARTICLE{Das2002,
  AUTHOR =       "A. Das and W. Wu and D. McGuinness",
  TITLE =        "Industrial Strength Ontology Management.",
  JOURNAL =      "The Emerging Semantic Web, IOS Press, 2002",
  YEAR =         "2002"
}

@INPROCEEDINGS{Swartout1996,
  AUTHOR =       "B. Swartout and R. Patil and K. Knight and T. Russ",
  TITLE =        "Towards distributed use of largescale ontologies",
  BOOKTITLE =    "In Proceedings of Tenth Knowledge Acquisition for
  Knowledge-Based Systems Workshop (KAW)",
  YEAR =         "1996",
  editor =       "University of Calgary",
  address =      "Banff, Alberta, Canada"
}

@INPROCEEDINGS{StojanovicEtAl2002,
  AUTHOR =       "L. Stojanovic and A. Maedche and B. Motik and N. Stojanovic",
  TITLE =        "User-Driven Ontology Evolution Management.",
  BOOKTITLE =    "13th International Conference on Knowledge
  Engineering and Knowledge Management (EKAW2002)",
  YEAR =         "2002",
  address =      "Siguenza, Spain",
  month =        "October 1-4"
}

@INPROCEEDINGS{Stojanovic2002,
  AUTHOR =       "Ljiljana Stojanovic and Boris Motik",
  TITLE =        "Ontology Evolution within Ontology Editors.",
  BOOKTITLE =    "2002 in 13th International Conference on
  Knowledge Engineering and Knowledge Management (EKAW2002)",
  YEAR =         "2002",
  address =      "Siguenza, Spain",
  month =        "October 1-4"
}

@ARTICLE{LassilaMcGuinness2001,
  AUTHOR =       "O. Lassila and D. McGuinness",
  TITLE =        "The role of frame-based representation on the semantic web.",
  JOURNAL =      "Electronic Transactions on Artificial Intelligence (ETAI) Journal:
  area The Semantic Web",
  YEAR =         "2001",
  volume =       "To appear"
}

@ARTICLE{Farquhar1997,
  AUTHOR =       "A. Farquhar and R. Fikes and J. Rice",
  TITLE =        "The ontolingua server: a tool for  collaborative ontology construction.",
  JOURNAL =      "International Journal of Human-Computer Studies",
  YEAR =         "1997",
  volume =       "46",
  pages =        "707-728"
}

@ARTICLE{UscholdGruninger1996,
  AUTHOR =       "M. Uschold and M. Gruninger",
  TITLE =        "Ontologies: principles, methods, and applications.",
  JOURNAL =      "Knowledge Engineering Review",
  YEAR =         "1996",
  volume =       "11",
  number =       "2",
  pages =        "93-155"
}

@ARTICLE{Heijst1997,
  AUTHOR =       "G. van Heijst and A.Th. Schreiber and B.J. Wielinga",
  TITLE =        "Using explicit ontologies in kbs development.",
  JOURNAL =      "International Journal of Human-Computer Studies",
  YEAR =         "1997",
  volume =       "45",
  pages =        "184-292"
}

@ARTICLE{Uschold1998,
  AUTHOR =       "M. Uschold",
  TITLE =        "Knowledge level modelling: concepts and terminology.",
  JOURNAL =      "Knowledge Engineering Review",
  YEAR =         "1998"
}

@INPROCEEDINGS{Bernaras1996,
  AUTHOR =       "A. Bernaras and I. Laresgoiti and J. Corera",
  TITLE =        "Building and reusing ontologies for electrical network applications.",
  BOOKTITLE =    "Proceedings of the 12th European Conference
  on Artificial Intelligence (ECAI)",
  YEAR =         "1996",
  editor =       "W. Wahlster",
  pages =        "298-302",
  address =      "Chichester, England",
  publisher =    "John Wiley  Sons, Ltd"
}

@ARTICLE{Neches1991,
  AUTHOR =       "R. Neches and R.E. Fikes and T. Finin and T.R. Gruber and R. Patil and T. Senator",
  TITLE =        "Enabling technology for knowledge sharing.",
  JOURNAL =      "AI Magazine",
  YEAR =         "1991",
  volume =       "12",
  number =       "3",
  pages =        "36-56"
}

@InProceedings{Studer1998,
  author =       "R. Studer and V.R. Benjamins and D. Fensel",
  title =        "Knowledge engineering, principles and methods.",
  booktitle =    "Data and Knowledge Engineering",
  volume =       "25",
  number =       "1-2",
  pages =        "161-197",
  year =         "1998"
}

@PhdThesis{Borst1997,
  AUTHOR =       "P. Borst.",
  TITLE =        "Construction of Engineering ontologies for knowledge sharing and reuse.",
  SCHOOL =       "University of Twente, Centre for Telematica and Information Technology",
  YEAR =         "1997"
}

@InProceedings{Gruber1993,
  author =       "T. R. Gruber",
  title =        "A translation approach to portable ontology specifications.",
  booktitle =    "Knowledge Acquisition",
  volume =       "5",
  number =       "2",
  pages =        "199-220",
  year =         "1993"
}

@PhdThesis{Tamma2001,
  AUTHOR =       "V. Tamma",
  TITLE =        "An Ontology Model supporting Multiple Ontologies for Knowledge sharing.",
  SCHOOL =       "Department of Computer Science, University of Liverpool",
  YEAR =         "2001"
}

@InProceedings{Guarino1998,
  author =       "N. Guarino",
  title =        "Formal ontologies and information systems.",
  booktitle =    "Proceedings of the International Conference on Formal Ontology
in Information Systems (FOIS'98)",
  month =        "june",
  address =      "Trento, Italy",
  year =         "1998"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% End of Bibliography of Alain Fergnani %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@InProceedings{Beeri:1997:RQU,
  author =       "Catriel Beeri and Alon Y. Levy and
Marie-Christine
                 Rousset",
  title =        "Rewriting queries using views in description
logics",
  editor =       "{ACM}",
  booktitle =    "{PODS} '97. Proceedings of the Sixteenth {ACM}
                 {SIG-SIGMOD-SIGART} Symposium on Principles of
Database
                 Systems, May 12--14, 1997, Tucson, Arizona",
  publisher =    "ACM Press",
  address =      "New York, NY 10036, USA",
  year =         "1997",
  ISBN =         "????",
  pages =        "99--108",
  bibdate =      "Thu Mar 12 18:52:56 MST 1998",
  url =
"http://www.acm.org:80/pubs/citations/proceedings/pods/263661/p99-beeri/",
acknowledgement = ack-nhfb,
  keywords =     "algorithms; languages; performance;
verification",
  subject =      "{\bf H.2.4} Information Systems, DATABASE
MANAGEMENT,
                 Systems, Query processing. {\bf H.3.3}
Information
                 Systems, INFORMATION STORAGE AND RETRIEVAL,
Information
                 Search and Retrieval, Query formulation. {\bf
H.2.3}
                 Information Systems, DATABASE MANAGEMENT,
Languages,
                 Query languages. {\bf G.4} Mathematics of
Computing,
                 MATHEMATICAL SOFTWARE, Algorithm design and
analysis.
                 {\bf F.4.2} Theory of Computation, MATHEMATICAL
LOGIC
                 AND FORMAL LANGUAGES, Grammars and Other
Rewriting
                 Systems, Parallel rewriting systems.",
}
@InProceedings{Buneman:1998:PCS,
  author =   {P. Buneman and W. Fan and S. Weinstein},
  title =    {Path constraints on semistructured and structured
data},
  booktitle =    {{PODS} '97. Proceedings of the Seventeenth {ACM}
                 {SIG-SIGMOD-SIGART} Symposium on Principles of
Database
                 Systems},
  pages =    {129-138},
  year =     1998,
  publisher =    {ACM Press}
}

@InProceedings{Kolaitis:1998:CQC,
  author =   {P. Kolaitis and M. Vardi},
  title =    {?},
  booktitle =    {{PODS} '98. Proceedings of the {ACM}
                 {SIG-SIGMOD-SIGART} Symposium on Principles of
Database
                 Systems, Seattle, WA, USA},
  pages =    {205--213},
  year =     1998,
  publisher =    {ACM Press}
}

@techReport{bergamaschi:sartori:csite98,
   author =      {Sonia Bergamaschi and Claudio Sartori},
   title =       {Chrono: a conceptual design framework for
temporal entities},
   institution = {CSITE - CNR},
   year =        "1998",
   number = "CSITE-011-98",
   note =
{ftp://www-db.deis.unibo.it/pub/reports/CSITE-011-98.pdf},
}
@InProceedings{Grant:1997:SQO,
  author =       "J. Grant and J. Gryz and J. Minker and L.
Raschid",
  title =        "Semantic Query Optimization for Object
Databases",
  pages =        "444--454",
  booktitle =    "Proceedings of the 13th International
Conference on
                 Data Engineering ({ICDE}'97)",
  ISBN =         "0-8186-7807-0",
  month =        apr,
  publisher =    "IEEE",
  address =      "Washington - Brussels - Tokyo",
  year =         "1997",
}
@InProceedings{Levy:1997:DCQ,
  author =       "Alon Y. Levy and Dan Suciu",
  title =        "Deciding containment for queries with complex
objects
                 (extended abstract)",
  editor =       "{ACM}",
  booktitle =    "{PODS} '97. Proceedings of the Sixteenth {ACM}
                 {SIG-SIGMOD-SIGART} Symposium on Principles of
Database
                 Systems, May 12--14, 1997, Tucson, Arizona",
  publisher =    "ACM Press",
  address =      "New York, NY 10036, USA",
  pages =        "20--31",
  year =         "1997",
  bibdate =      "Thu Mar 12 18:52:56 MST 1998",
  url =
"http://www.acm.org:80/pubs/citations/proceedings/pods/263661/p20-levy/",

acknowledgement = ack-nhfb,
  keywords =     "languages; performance; verification",
  subject =      "{\bf H.2.4} Information Systems, DATABASE
MANAGEMENT,
                 Systems, Query processing. {\bf H.3.3}
Information
                 Systems, INFORMATION STORAGE AND RETRIEVAL,
Information
                 Search and Retrieval, Query formulation. {\bf
H.2.3}
                 Information Systems, DATABASE MANAGEMENT,
Languages,
                 Query languages. {\bf F.4.1} Theory of
Computation,
                 MATHEMATICAL LOGIC AND FORMAL LANGUAGES,
Mathematical
                 Logic, Model theory. {\bf I.6.3} Computing
                 Methodologies, SIMULATION AND MODELING,
Applications.",
}
@inproceedings{query:abiteboul:pods97,
   author =    {S. Abiteboul and V. Vianu},
   title =     {Regular Path Queries with Constraint},
   booktitle = {PODS - Principles of Database Systems},
   publisher = {ACM Press},
   year =      "1997",
}
@book{ADD85,
   editor =    {A. Albano and V. De Antonellis and A. Di Leva},
   title =     {Computer-Aided Database Design: the {DATAID}
Project},
   publisher = {North-Holland},
   address =   {Amsterdam},
   year =      "1985",
}
@book{BM86,
   editor =    {M. L. Brodie and J. Mylopoulos},
   title =     {On Knowledge Base Management Systems},
   publisher = {Springer-Verlag},
   year =      "1986",
}
@book{ceri:dataid:83,
   editor =    {S. Ceri},
   title =     {Methodology and Tools for Database Design},
   publisher = {North-Holland},
   address =   {Amsterdam},
   year =      "1983",
   oldkey =    {CER83 CERI83},
}
@proceedings{KERS86,
   editor =    {L. Kerschberg},
   title =     {Expert Database Systems - First International
Workshop},
   publisher = {The Benjamin Cummings Pub. Co.},
   year =      "1986",
}
@book{kim:libro,
   editor =    {W. Kim and F. Lochovsky},
   title =     {Object-Oriented Concepts, Databases, and
Applications},
   pages =     {105--128},
   publisher = {Addison-Wesley},
   address =   {Reading (Mass.)},
   year =      "1989",
}
@book{kim:oodb:model,
   editor =    {W. Kim and F. Lochovsky},
   title =     {Object-Oriented Concepts, Databases, and
Applications},
   publisher = {Addison-Wesley},
   address =   {Reading (Mass.)},
   year =      "1986",
}
@book{logidata:libro,
   editor =    {P. Atzeni},
   title =     {{LOGIDATA$^+$}: Deductive Databases with Complex
Objects},
   pages =     {105--128},
   publisher = {Springer-Verlag},
   series =    lncs,
   volume =    701,
   address =   {Heidelberg - Germany},
   year =      "1993",
}
@book{SOWA91,
   editor =    {J. Sowa},
   title =     {Principles of Semantic Networks},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {San Mateo, CA},
   year =      "1991",
}
@book{TKDE-kd:93,
   editor =    {Nick Cercone and Mas Tsuchiya},
   title =     {{IEEE} Transactions on Knowledge and Data
Engineering, Vol.5,
                {N}.6},
   publisher = {IEEE},
   year =      "1993",
   note =      {Special issue on Learning and Discovery in
Knowledge-Based
                Databases},
}
@techreport{BaaderBuchheitJeusfeldNutt:D-95-12,
   editor =      {F. Baader and M. Buchheit and M. A. Jeusfeld
and W. Nutt},
   title =       {{KRDB'95}: {R}easoning about structured
objects: {K}nowledge
                  representation meets databases},
   institution = {DFKI GmbH},
   year =        "1995",
   type =        {{D}ocument},
   volume =      {D-95-12},
   series =      {DFKI-Research-Report},
   address =     {Stuhl\-sat\-zen\-haus\-weg 3, {D-66123}
Saarbr{\"u}cken, Germany},
}
@book{odmg93:libro,
   editor =    {R. G. G. Cattell},
   title =     {The Object Database Standard: {ODMG93}},
   publisher = {Morgan Kaufmann Publishers},
   address =   {San Mateo, CA},
   year =      "1994",
}
@inproceedings{ABWI86,
   author =    {R. M. Abarbanel and M. D. Williams},
   title =     {A relational representation for knowledge bases},
   booktitle = {First International Conference on Expert
Database Systems},
   address =   {Charleston},
   year =      "1986",
}
@inproceedings{AB91,
   author =    {S. Abiteboul and A. Bonner},
   title =     {Objects and Views},
   booktitle = {SIGMOD},
   pages =     {238--247},
   publisher = {ACM Press},
   year =      "1991",
}
@inproceedings{AK89,
   author =    {S. Abiteboul and P. Kanellakis},
   title =     {Object identity as a query language primitive},
   booktitle = {SIGMOD},
   pages =     {159--173},
   publisher = {ACM Press},
   year =      "1989",
}
@techreport{AB88,
   author =      {S. Abiteboul and C. Beeri},
   title =       {On the Power of Languages for the Manipulation
of Complex Objects},
   institution = {INRIA},
   number =      846,
   year =        "1988",
}
@inproceedings{AG88,
   author =    {S. Abiteboul and S. Grumbach},
   title =     {Col: a logic-based language for complex objects},
   booktitle = {Extending Database Technologies - EDBT '88},
   editor =    {S. Ceri and J. W. Schmidt and M. Missikoff},
   pages =     {271--293},
   publisher = {Springer-Verlag},
   volume =    303,
   series =    lncs,
   year =      "1988",
}
@article{abiteboul:hull:tods-87,
   author =  {S. Abiteboul and R. Hull},
   title =   {{IFO}: {A} formal semantic database model},
   journal = {ACM Trans. on Database Systems},
   volume =  12,
   number =  4,
   pages =   {525--565},
   year =    "1987",
   oldkey =  {AH87},
}
@article{query:recursive:alpha,
   author =  {R. Agrawal},
   title =   {Alpha: An extension of relational algebra to
express a class of
              recursive queries},
   journal = {IEEE Transactions on Software Enginering},
   volume =  14,
   number =  7,
   month =   jul,
   year =    "1988",
}
@article{A+91,
   author =  {R. Ahmed and others},
   title =   {The pegasus heterogeneous multidatabase system},
   journal = {IEEE Computer},
   volume =  24,
   pages =   "19--27",
   year =    1991,
}
@inproceedings{AIT86,
   author =    {H. Ait-Kaci},
   title =     {Type subsumption as a model of computation},
   booktitle = {1st Int. Workshop on Expert Database Systems},
   editor =    {L. Kershberg},
   pages =     {115--140},
   publisher = {The Benjamin-Cimmings Publishing Company},
   year =      "1986",
}
@article{ACO85,
   author =  {A. Albano and L. Cardelli and R. Orsini},
   title =   {Galileo: a strongly typed, interactive conceptual
language},
   journal = {ACM Trans. on Database Systems},
   volume =  10,
   number =  2,
   pages =   {230--260},
   year =    "1985",
}
@incollection{puntifissi:APT,
   author =    {K. R. Apt},
   editor =    {J. Van Leeuwen},
   booktitle = {Formal Models and Semantics},
   title =     {Logic Programming},
   chapter =   10,
   volume =    2,
   pages =     {493--574},
   publisher = {Elsevier.},
   address =   {Amsterdam,New York, Oxford, Tokyo},
   year =      "1990",
}
@article{ASW87,
   author =  {M. M. Astrahan and M. Schkolnik and K. Y. Whang},
   title =   {Approximating the number of unique values of an
attribute without
              sorting},
   journal = {Inform. Syst.},
   volume =  12,
   number =  1,
   pages =   {11--15},
   year =    "1987",
}
@article{ASTR76,
   author =  {M. M. Astrahan and others},
   title =   {{System R} - a relational approach to database
management systems},
   journal = {ACM Trans. on Database Systems},
   volume =  1,
   number =  2,
   pages =   {97--137},
   year =    "1976",
}
@inproceedings{oodb:manifesto,
   author =    {M. Atkinson and others},
   title =     {The Object-Oriented Database System Manifesto},
   booktitle = {1nd Int. Conf. on Deductive and Object-Oriented
Databases},
   publisher = {Springer-Verlag},
   year =      "1989",
}
@techreport{ACCT90,
   author =      {P. Atzeni and F. Cacace and S. Ceri and L.
Tanca},
   title =       {The {LOGIDATA$^+$} model},
   institution = {CNR - Progetto Finalizzato Sistemi Informatici
e Calcolo
                  Parallelo},
   number =      {5/20},
   year =        "1990",
}
@article{atzeni:parker:tcs-88,
   author =  {P. Atzeni and D. S. Parker},
   title =   {Set containment inference and syllogisms},
   journal = {Theoretical Computer Science},
   volume =  62,
   pages =   {39--65},
   year =    "1988",
   oldkey =  {AP88b},
}
@article{atzeni:parker:dke-88,
   author =  {P. Atzeni and D. S. Parker},
   title =   {Formal properties of net-based knowledge
representation schemes},
   journal = {Data and Knowledge Engineering},
   volume =  3,
   pages =   {137--147},
   year =    "1988",
   oldkey =  {AP88a},
}
@inproceedings{baader:cycles:alternative,
   author =    {F. Baader},
   title =     {Augmenting concept languages by transitive
closure of roles: An
                alternative to terminological cycles},
   booktitle = {12th International Joint Conference on
Artificial Intelligence.},
   address =   {Sydney, Australia},
   year =      "1991",
}
@techreport{BBNNS91,
   author =  {F. Baader and H. Buerckert and B. Nebel and W.
Nutt and G. Smolka},
   title =   {On the Expressivity of Feature Logics with
Negation, Functional
              Uncertainty, and Sort Equations},
   number =  {91-01},
   month =   jan,
   year =    "1991",
}
@inproceedings{baader:concrete,
   author =    {F. Baader and P. Hanschke},
   title =     {A scheme for integrating Concrete Domains into
Concept Languages},
   booktitle = {12th International Joint Conference on
Artificial Intelligence.},
   address =   {Sydney, Australia},
   year =      "1991",
}
@inproceedings{baader:cycles,
   author =    {F. Baader},
   title =     {Terminological Cycles in {KL-ONE}-based
Knowledge Representation
                Languages},
   booktitle = {8th National Conference of the American
Association for
                Artificial Intelligence},
   address =   {Boston, Mass., USA},
   volume =    2,
   pages =     {621--626},
   year =      "1990",
}
@techreport{baader:concrete:report,
   author =      {F. Baader and P. Hanschke},
   title =       {A scheme for integrating Concrete Domains into
Concept Languages},
   institution = {DFKI},
   address =     {Kaiserslautern, Germany},
   year =        "1990",
}
@inproceedings{noi:DL95,
   author =    {J. P. Ballerini and D. Beneventano and S.
Bergamaschi and C.
                Sartori and M. Vincini},
   title =     {A Semantics Driven Query Optimizer for {OODB}s},
   editor =    {A. Borgida and M. Lenzerini and D. Nardi and B.
Nebel},
   booktitle = {DL95 - Intern. Workshop on Description Logics},
   pages =     {59--62},
   address =   {Roma},
   series =    {Dip. di Informatica e Sistemistica - Univ. di
                Roma La Sapienza - Rapp. Tecnico},
   volume =    {07.95},
   month =     jun,
   year =      "1995",
   tipobib =   5,
}
@techreport{report:ballerini:beneventano,
   author =      {J. P. Ballerini and D. Beneventano},
   title =       {?},
   institution = {CIOC-CNR},
   number =      {9?},
   month =       nov,
   year =        "1993",
}
@techreport{report:ballerini:logidata,
   author =      {J. P. Ballerini and S. Bergamaschi},
   title =       {Automatic Building and Validation of Complex
Object Database
                  Schemata},
   institution = {CNR - Progetto Finalizzato Sistemi Informatici
e Calcolo
                  Parallelo},
   number =      {5/124},
   month =       jul,
   year =        "1993",
}
@techreport{report:ballerini,
   author =      {J. P. Ballerini and S. Bergamaschi and B.
Nebel},
   title =       {Automatic Building and Validation of Complex
Object Database
                  Schemata},
   institution = {CIOC-CNR},
   number =      91,
   month =       dec,
   year =        "1992",
}
@inproceedings{BR86,
   author =    {F. Banchillon and R. Ramakrishnan},
   title =     {An amateur's introduction to recursive query
processing
                strategies},
   booktitle = {ACM Sigmod},
   address =   {Washington (DC)},
   year =      "1986",
}
@book{o2:libro,
   author =    {F. Bancilhon and C. Delobel and P. Kanellakis
(editors)},
   title =     {Building an Object-Oriented Database Systems:
The story of {O2}},
   publisher = {Morgan Kaufmann},
   address =   {San Mateo, CA},
   year =      "1992",
}
@BOOK{O2,
    AUTHOR        = "F. Bancilhon and C. Delobel and P.
Kanellakis",
    TITLE         = "building an Object-Oriented Database
System, the
          story of {O\_2}",
    BOOKTITLE     = "",
    EDITOR        = "",
    PUBLISHER     = "Morgan Kaufmann Publishers, Inc.",
    YEAR          = "1996"}

@book{BCN91,
   author =    {C. Batini and S. Ceri and S. B. Navathe},
   title =     {Conceptual Database design: an
{Entity-Relationship}
                Approach},
   publisher = {The Benjamin/Cummings Publishing Company},
   year =      "1992",
}
@article{deduct:er:modeling,
   author =  {G. Di Battista and M. Lenzerini},
   title =   {Deductive Entity Relationship Modeling},
   journal = {IEEE Trans. on Knowledge and Data Engineering},
   year =    "1993",
   volume =  5,
   number =  3,
   pages =   {439--450},
   month =   jun,
}
@inproceedings{DL89,
   author =    {G. Di Battista and M. Lenzerini},
   title =     {A deductive method for {Entity-Relationship}
modelling},
   booktitle = {15th Int. Conf. on Very Large Databases},
   pages =     {13--21},
   address =   {Amsterdam - NL},
   month =     aug,
   year =      "1989",
}
@inproceedings{beck:et:al:icde-89,
   author =    {H. W. Beck and S. K. Gala and S. B. Navathe},
   title =     {Classification as a query processing technique
in the {CANDIDE}
                data model},
   booktitle = {5th Int. Conf. on Data Engineering},
   pages =     {572--581},
   address =   {Los Angeles, CA},
   year =      "1989",
}
@inproceedings{BGN89,
    AUTHOR        = "H.W. Beck and S.K. Gala and S.B. Navathe",
    TITLE         = "Classification as a query processing
technique in the {CANDIDE} data model",
    BOOKTITLE     = "5th Int. Conf. on Data Engineering",
    PAGES         = "572-581",
    ADDRESS       = "Los Angeles, CA",
    YEAR          = "1989"}
@article{beeri:formal,
   author =  {C. Beeri},
   title =   {A Formal Approach to Object-Oriented Databases},
   journal = {Data and Knowledge Engineering},
   volume =  5,
   pages =   {353--382},
   year =    "1990",
   oldkey =  {BEER90},
}
@inproceedings{beeri:model:formal,
   author =    {C. Beeri},
   title =     {Formal Models for Object-Oriented Databases},
   booktitle = {Deductive and Object-Oriented Databases},
   editor =    {W. Kim and J. M. Nicolas and S. Nishio},
   pages =     {405--430},
   publisher = {Elsevier Science Publisher},
   address =   {B.V. - North-Holland},
   year =      "1990",
}
@inproceedings{aiia97,
   author =    {D. Beneventano and S. Bergamaschi and C. Sartori
                and M. Vincini},
   title = {ODB-Tools: a description Logics based tool for schema validation
        and semantic query optimization in Object Oriented
        Databases},
   booktitle = {Sesto Convegno {AIIA} - Roma},
   year =      "1997",
   tipobib =   6,
}
@inproceedings{beneventano:corni:lodi:vincini:sebd97,
   author =    {D. Beneventano and A. Corni and S. Lodi and M.
Vincini},
   title =     {{ODB}: validazione di schemi e ottimizzazione
semantica
                 on-line per basi di dati object oriented},
   booktitle = {Quinto Convegno Nazionale su Sistemi Evoluti per
Basi di Dati -
                {SEBD97}, Verona},
   year =      "1997",
   pages =     {208-225},
   tipobib =   6,
}
@inproceedings{beneventano:altri:sebd96,
   author =    {D. Beneventano and S. Bergamaschi and A. Garuti
and C. Sartori
                and M. Vincini},
   title =     {{ODB}-Reasoner: un ambiente per la verifica di
schemi e
                l'ottimizzazione di interrogazioni in {OODB}},
   booktitle = {Quarto Convegno Nazionale su Sistemi Evoluti per
Basi di Dati -
                {SEBD96}, San Miniato},
   year =      "1996",
   pages =     {181-200},
   tipobib =   6,
}
@inproceedings{sebd95,
   author =    {D. Beneventano and S. Bergamaschi and A. Garuti
and C. Sartori
                and M. Vincini},
   title =     {{ODB}-{QO}ptimizer: un {O}ttimizzatore
{S}emantico di interrogazioni per {OODB}},
   booktitle = {Terzo Convegno Nazionale su Sistemi Evoluti per
Basi di Dati -
                {SEBD95}, Salerno},
   year =      "1996",
   tipobib =   6,
}
@inproceedings{beneventano:bergamaschi:sartori:aiia96,
   author =    {D. Beneventano and S. Bergamaschi and C.
Sartori},
   title =     {Scoperta di regole per l'ottimizzazione
semantica delle
                interrogazioni},
   booktitle = {Quinto Convegno {AIIA} - Napoli},
   year =      "1996",
   pages =     {59-62},
   tipobib =   6,
}
@inproceedings{beneventano:bergamaschi:lodi:sartori:dbpl95,
   author =    {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   title =     {Consistency checking in Complex Object Database
schemata with
                integrity constraints},
   booktitle = {5th Int. Workshop on Database Programming
Languages},
   month =     sep,
   year =      "1995",
   editor =    {P. Atzeni and V. Tannen},
   series =    lncs,
   publisher = {Springer-Verlag},
   address =   {Gubbio, Italy},
   pages =     {48-57},
   tipobib =   5,
}
@techreport{ercim95,
   author =      {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   title =       {Terminological Logics in Object Oriented
databases},
   institution = {ERCIM},
   series =      {News},
   number =      23,
   month =       sep,
   year =        "1995",
   pages =       26,
   tipobib =     7,
}
@techreport{rapcioc:tableaux,
   author =      {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   title =       {Reasoning with Constraints in Database Models},
   address =     {Viale Risorgimento, 2 Bologna, Italia},
   institution = {CIOC - CNR},
   number =      103,
   month =       sep,
   year =        "1994",
   tipobib =     7,
}
@inproceedings{constraint:DL94,
   author =    {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   title =     {Constraints in Complex Object Database Models},
   booktitle = {Int. Workshop on Description Logics},
   address =   {Bonn, Germany},
   month =     jun,
   pages =     {101-103},
   series =    {DFKI - Document},
   volume =    {D-94-10},
   year =      "1994",
   tipobib =   5,
}
@inproceedings{constraint:sebd94,
   author =    {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   title =     {Reasoning with Constraints in Database Models},
   booktitle = {Secondo Convegno Nazionale su Sistemi Evoluti
per Basi di Dati},
   editor =    {S. Bergamaschi and C. Sartori and P. Tiberio},
   month =     jun,
   year =      "1994",
   pages =     {23-38},
   crossref =  {sebd94},
   tipobib =   6,
}
@inproceedings{noi:krdb94,
   author =    {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   editor =    {F. Baader and M. Buchheit and M. A. Jeusfeld and
W. Nutt},
   title =     {Terminological logics for schema design and
query processing in
                {OODB}s},
   booktitle = {{KRDB'94} - Reasoning about Structured Objects,
Knowledge
                Representation Meets Databases},
   series =    {DFKI GmbH Document},
   volume =    {D-94-11},
   pages =     {37-40},
   year =      "1994",
   month =     sep,
   address =   {Saarbr{\"u}cken},
   tipobib =   5,
}
@inproceedings{optimization:DL94,
   author =    {D. Beneventano and S. Bergamaschi and C.
Sartori},
   title =     {Using Subsumption for Semantic Query
Optimization in {OODB}},
   booktitle = {Int. Workshop on Description Logics},
   address =   {Bonn, Germany},
   series =    {DFKI - Document},
   volume =    {D-94-10},
   month =     jun,
   year =      "1994",
   pages =     {97-100},
   tipobib =   5,
}
@inproceedings{constr:query:ijcai93,
   author =    {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   title =     {Using Subsumption in Semantic Query
Optimization},
   booktitle = {IJCAI Workshop on Object-Based Representation
Systems},
   editor =    {A. Napoli},
   month =     aug,
   pages =     {19-31},
   year =      "1993",
   tipobib =   5,
}
@inproceedings{optimization:sebd93,
   author =    {D. Beneventano and S. Bergamaschi and S. Lodi
and C. Sartori},
   title =     {Uso della Subsumption per l'Ottimizzazione
Semantica delle
                Queries},
   booktitle = {Convegno su Sistemi Evoluti per Basi di Dati -
{SEBD93}},
   editor =    {D. Sacc\`a},
   month =     jun,
   pages =     {75-89},
   year =      "1993",
   tipobib =   6,
}
@incollection{springer:logidata,
   author =    {D. Beneventano and S. Bergamaschi and C.
Sartori},
   title =     {Taxonomic Reasoning with Cycles in
{LOGIDATA$^+$}},
   booktitle = {{LOGIDATA$^+$}: Deductive Databases with Complex
Objects},
   editor =    {P. Atzeni},
   pages =     {105--128},
   publisher = {Springer-Verlag},
   series =    lncs,
   volume =    701,
   address =   {Heidelberg - Germany},
   year =      "1993",
   tipobib =   2,
}
@incollection{springer:logidata:generale,
   author =    {D. Beneventano and S. Bergamaschi and C. Sartori
and A. Artale
                and F. Cesarini and G. Soda},
   title =     {Taxonomic Reasoning in {LOGIDATA$+$}},
   booktitle = {{LOGIDATA$+$}: Deductive Databases with Complex
Objects},
   editor =    {P. Atzeni},
   pages =     {80-84},
   publisher = {Springer-Verlag},
   address =   {Heidelberg - Germany},
   year =      "1993",
   series =    lncs,
   volume =    701,
   tipobib =   2,
}
@inproceedings{icdt92,
   author =    {D. Beneventano and S. Bergamaschi},
   title =     {Subsumption for Complex Object Data Models},
   booktitle = {4th Int. Conf. on Database Theory},
   editor =    {J. Biskup and R. Hull},
   pages =     {357--375},
   publisher = {Springer-Verlag},
   address =   {Heidelberg, Germany},
   month =     oct,
   year =      "1992",
}
@techreport{multidata:applic,
   author =      {D. Beneventano and F. Bonfatti and L. Cavazza},
   title =       {Applicazione del modello {MULTIDATA} alla
rappresentazione del
                  territorio},
   institution = {CIOC-CNR},
   number =      {5/104},
   month =       aug,
   year =        "1992",
}
@techreport{multidata:modello,
   author =      {D. Beneventano and F. Bonfatti and L. Cavazza
and P. Paganelli},
   title =       {{MULTIDATA}: un modello di rappresentazione
orientato alla
                  complessita' e alla dinamica (Presentazione
informale)},
   institution = {CIOC-CNR},
   number =      {5/103},
   month =       jul,
   year =        "1992",
}
@techreport{BBS91d,
   author =      {D. Beneventano},
   title =       {Taxonomic Reasoning in Complex Object Data
Models},
   institution = {CIOC - CNR},
   series =      {Rapp. Tecnico},
   address =     {Viale Risorgimento, 2 Bologna, Italia},
   volume =      80,
   month =       oct,
   year =        "1991",
}
@inproceedings{BBS91e,
   author =    {D. Beneventano and S. Bergamaschi and C.
Sartori},
   title =     {Taxonomic Reasoning in Complex Object Data
Models},
   booktitle = {COMAD 91},
   address =   {Bombay, India},
   month =     dec,
   year =      "1991",
   tipobib =   5,
}
@inproceedings{BBS91,
   author =    {D. Beneventano and S. Bergamaschi and C.
Sartori},
   title =     {Taxonomic Reasoning in {LOGIDATA+}},
   booktitle = {COMP-EURO 91},
   editor =    {V. A. Monaco and R. Negrini},
   pages =     {894--899},
   publisher = {IEEE Computer Society Press},
   address =   {Bologna - Italy},
   month =     may,
   year =      "1991",
   tipobib =   5,
}
@article{cdss96,
   author =  {D. Beneventano and S. Bergamaschi and S. Lodi and
              C. Sartori},
   title =   {Consistency Checking in Complex Object Database
Schemata with
              Integrity Constraints},
   journal =  {IEEE Transactions on Knowledge and Data Engineering},
   volume =  {10},
   pages =   {576-598},
   year =    "1998",
   month =   {July/August},
   tipobib = 1,
}
@article{beneventano:bergamaschi:dke97,
   author =    {Domenico Beneventano and Sonia Bergamaschi},
   title =     {Incoherence and subsumption for recursive views
and
                queries in object-oriented data models},
   journal =   {Data and Knowledge Engineering},
   volume =    21,
   number =    3,
   publisher = {Elsevier Science B.V. (North-Holland)},
   address =   {Amsterdam, NL},
   pages =     {217-252},
   year =      "1997",
   month =     feb,
   tipobib =   1,
}

@inproceedings{beneventano:bergamaschi:sartori:vincini:icde97,
   author =    {Domenico Beneventano and Sonia Bergamaschi and
Claudio Sartori and
                Maurizio Vincini},
   title =     {{ODB-QOPTIMIZER}: A Tool for Semantic Query
   Optimization in OODB},
   booktitle = {Int. Conference on Data Engineering - ICDE97},
   year =      "1997",
   note    =   {http://sparc20.dsi.unimo.it},
}

@inproceedings{BeneventanoBergamaschiSartori:fqas:96,
   author =    {Domenico Beneventano and Sonia Bergamaschi and
Claudio Sartori},
   title =     {Semantic Query Optimization by Subsumption in
{OODB}},
   booktitle = {Flexible Query Answering Systems},
   year =      "1996",
   editor =    {H. Christiansen and H. L. Larsen and T.
Andreasen},
   address =   {Roskilde, Denmark},
   series =    {Datalogiske Skrifter - ISSN 0109-9799},
   volume =    62,
   tipobib =   5,
}
@inproceedings{odb-reasoner:sebd96,
   author =    {Domenico Beneventano and Sonia Bergamaschi and
Claudio Sartori
                and Maurizio Vincini},
   title = {ODB-Reasoner: un ambiente per la
                verifica di schemi e l'ottimizzazione di
interrogazioni in
                {OODB}},
   booktitle = {SEBD 96},
   year =      "1996",
   pages =     {181--200},
   tipobib =   "6",
}
@inProceedings{bergamaschi:sartori:er98,
   author =    {S. Bergamaschi and C. Sartori},
   title =     {Chrono: a conceptual design framework for
temporal entities},
   booktitle = {17th International Conference on Conceptual
Modeling (ER'98)},
   year =      "1998",
}
@inProceedings{bergamaschi:sartori:vincini:hicss98,
   author =    {S. Bergamaschi and C. Sartori and M. Vincini},
   title =     {A distributed workflow process model},
   booktitle = {Submitted to: Minitrack on Workflow Systems -
                Hawaiian Int. Conf. on System Sciences},
   year =      "1998",
   tipobib = 5,
}
@inProceedings{bergamaschi:beneventano:sartori:vincini:icde97,
   author =    {S. Bergamaschi and D. Beneventano and C. Sartori
and M. Vincini},
   title =     {{ODB-QOPTIMIZER}: A Tool for Semantic Query
   Optimization in OODB},
   booktitle = {Thirteenth International Conference on Data
Engineering, April 7-11, 1997 Birmingham U.K.},
   publisher = {IEEE Computer Society Press},
   year =      "1997",
   pages = 578,
   tipobib =   5,
}
@inProceedings{bergamaschi:garuti:sartori:venuta:euromicro97,
   author =    {S. Bergamaschi and A. Garuti and C. Sartori and
A. Venuta},
   title =     {The Object Wrapper: an Object-Oriented Interface
for
                Relational Databases},
   booktitle = {Euromicro - 97},
   year =      "1997",
   tipobib = 5,
}
@inProceedings{bergamaschi:sartori:krdb97,
   author =    {S. Bergamaschi and C. Sartori},
   title =     {An Approach for the Extraction of Information
from Heterogeneous Sources of Textual Data},
   booktitle = {4th Workshop KRDB-97, Athens, Greece, August 30,
1997},
   publisher = {CEUR Workshop Proceedings, Vol. 8},
   year =      "1997",
   tipobib =   5,
   pages = {1.1--1.7},
}
@book{fondamenti,
   author =    {S. Bergamaschi and C. Sartori and M. R. Scalas},
   title =     {Lezioni di Fondamenti di Informatica},
   publisher = {Progetto Leonardo},
   address =   {Bologna - Italy},
   year =      "1995",
   tipobib =   4,
}
@inproceedings{BergamaschiSartoriVincini:krdb95,
   author =    {S. Bergamaschi and C. Sartori and M. Vincini},
   editor =    {L. Dreschler-Fischer and S. Pribbenow},
   title =     {{DL} Techniques for Intensional Query Answering
in {OODBSs}},
   booktitle = {{KI-95} Activities: Workshops, Posters, Demos},
   address =   {Bielefeld, Germany},
   pages =     {19-20},
   year =      "1995",
   tipobib =   5,
}
@inproceedings{tutoring:DL94,
   author =    {S. Bergamaschi and S. Lodi and C. Sartori},
   title =     {Description Logics as core of a Tutoring System},
   booktitle = {Int. Workshop on Description Logics},
   address =   {Bonn, Germany},
   series =    {DFKI - Document},
   volume =    {D-94-10},
   month =     jun,
   year =      "1994",
   pages =     {73-74},
   tipobib =   5,
}
@article{BeNe94,
   author =  {S. Bergamaschi and B. Nebel},
   title =   {Acquisition and Validation of Complex Object
              Database Schemata
              Supporting Multiple Inheritance},
   journal =   {Journal of Applied Intelligence},
   volume =  4,
   pages =   {185--203},
   year =    "1994",
}
@article{BN93,
   author =    {S. Bergamaschi and B. Nebel},
   title =     {Acquisition and Validation of Complex Object
Database Schemata
                Supporting Multiple Inheritance},
   journal =   {Journal of Applied Intelligence},
   year =      "1994",
   publisher = {Kluwer Academic Publishers, Boston},
   volume =    4,
   pages =     {185--203},
}
@incollection{springer:logidata:prototipo,
   author =    {S. Bergamaschi and C. Sartori and J. P.
Ballerini},
   title =     {The {ODL}-Designer prototype},
   booktitle = {{LOGIDATA$^+$}: Deductive Databases with Complex
Objects},
   editor =    {P. Atzeni},
   pages =     {256-257},
   publisher = {Springer-Verlag},
   series =    lncs,
   volume =    701,
   address =   {Heidelberg - Germany},
   year =      "1993",
   tipobib =   2,
}
@article{BLS91,
   author =  {S. Bergamaschi and S. Lodi and C. Sartori},
   title =   {{E-S}: a three-sorted terminological language},
   journal = {AIIA Notizie},
   volume =  {V},
   number =  2,
   pages =   {16--21},
   month =   jun,
   year =    "1992",
   tipobib = 3,
}
@article{bergamaschi:sartori:tods-92,
   author =  {S. Bergamaschi and C. Sartori},
   title =   {On taxonomic reasoning in conceptual design},
   journal = {ACM Trans. on Database Systems},
   volume =  17,
   number =  3,
   pages =   {385--422},
   month =   sep,
   year =    "1992",
   tipobib = 1,
}
@article{aiia-notizie98,
   author =  {S. Bergamaschi and M. Vincini},
   title =   {Exploiting ODB-Tools as a tool for the design of
electrical
              systems},
   journal = {AI*IA Notizie},
   year =    "1998",
}
@inproceedings{BERG90,
   author =    {S. Bergamaschi},
   title =     {Subsumption in Database Environment},
   booktitle = {Statement of Interest for the 2nd Int. Workshop
on Terminological
                Logics},
   editor =    {B. Nebel and C. Peltason and K. von Luck},
   publisher = {Schloss Daghstul, Int. Conf. and Researc},
   address =   {Germany},
   month =     may,
   year =      "1991",
}
@techreport{BBS91b,
   author =      {S. Bergamaschi and D. Beneventano and C.
Sartori},
   title =       {Ragionamento tassonomico in {LOGIDATA+}},
   address =     {Roma},
   institution = {CNR - Progetto Finalizzato Sistemi Informatici
e Calcolo
                  Parallelo},
   number =      {5/53},
   month =       feb,
   year =        "1991",
   tipobib =     7,
}
@techreport{BBS91c,
   author =      {S. Bergamaschi and D. Beneventano and C.
Sartori},
   title =       {Taxonimc reasoning with cycles in {LOGIDATA+}},
   address =     {Roma},
   institution = {CNR - Progetto Finalizzato Sistemi Informatici
e Calcolo
                  Parallelo},
   number =      {5/53},
   month =       feb,
   year =        "1991",
   tipobib =     7,
}
@inproceedings{BLS91a,
   author =    {S. Bergamaschi and S. Lodi and C. Sartori},
   title =     {{E}-{S}: a three-sorted terminological language},
   booktitle = {Terminological Logic Users Workshop},
   editor =    {C. Peltason and K. von Luck and C. Kindermann},
   pages =     {108--113},
   publisher = {Technische Universit{\"a}t Berlin},
   address =   {Berlin},
   month =     dec,
   year =      "1991",
   tipobib =   5,
}
@inproceedings{BN91,
   author =    {S. Bergamaschi and B. Nebel},
   title =     {The Complexity of Multiple Inheritance in
Complex Object Data
                Models},
   booktitle = {Workshop on AI and Objects - IJCAI '91},
   address =   {Sidney - Australia},
   month =     aug,
   year =      "1991",
}
@techreport{BN92,
   author =      {S. Bergamaschi and B. Nebel},
   title =       {Theoretical Foundations of Complex Object Data
Models},
   institution = {CNR - Progetto Finalizzato Sistemi Informatici
e Calcolo
                  Parallelo},
   address =     {Roma},
   number =      {5/91},
   month =       jan,
   year =        "1991",
}
@techreport{BS91,
   author =      {S. Bergamaschi and C. Sartori},
   title =       {On taxonomic reasoning in conceptual design},
   institution = {CIOC - CNR},
   series =      {Rapp. Tecnico},
   address =     {Viale Risorgimento, 2 - Bologna},
   number =      78,
   month =       jan,
   year =        "1991",
   tipobib =     7,
}
@inproceedings{BS91b,
   author =    {S. Bergamaschi and C. Sartori},
   title =     {Subsumption for database schema design},
   booktitle = {International Workshop on Terminological Logics},
   editor =    {B. Nebel and C. Peltason and K. von Luck},
   pages =     {23--27},
   address =   {Germany},
   month =     aug,
   year =      "1991",
   tipobib =   5,
}
@inproceedings{BS91c,
   author =    {S. Bergamaschi and C. Sartori},
   title =     {On taxonomic reasoning in conceptual design},
   booktitle = {ACM Transaction on Database Systems},
   volume = 17,
   nmber = 3,
   pages =     {23--27},
   month = sep,
   year =      "1991",
   tipobib =   5,
}
@techreport{BCMSS90,
   author =      {S. Bergamaschi and F. Cesarini and M.
Missikoff and C. Sartori
                  and others},
   title =       {Il ragionamento tassonomico nei modelli
evoluti per basi di dati},
   institution = {CNR},
   series =      {Progetto Finalizzato Sistemi Informatici e
Calcolo Parallelo},
   address =     {Roma},
   number =      {5/10},
   month =       mar,
   year =        "1990",
   tipobib =     7,
}
@inproceedings{BCS90,
   author =    {S. Bergamaschi and P. Ciaccia and C. Sartori},
   title =     {Relational Design of Knowledge representation
Systems Supporting
                Concept Taxonomies},
   booktitle = {5th Int. Symp. on Computer and Information
Sciences},
   pages =     {509--518},
   address =   {Turkey},
   month =     oct,
   year =      "1990",
   tipobib =   5,
}
@inproceedings{BLS90,
   author =    {S. Bergamaschi and S. Lodi and C. Sartori},
   title =     {{Entity-Situation}: a Model for Knowledge
Representation},
   booktitle = {3rd Int. Symp. on Artificial Intelligence},
   pages =     {96--102},
   address =   {Mexico},
   month =     oct,
   year =      "1990",
   tipobib =   5,
}
@techreport{BST90,
   author =      {S. Bergamaschi and C. Sartori and P. Tiberio},
   title =       {On Taxonomic Reasoning in Conceptual Design},
   institution = {CIOC - CNR},
   series =      {Rapp. Tecnico},
   address =     {Viale Risorgimento, 2 - Bologna, Italy},
   number =      68,
   month =       mar,
   year =        "1990",
   tipobib =     7,
}
@inproceedings{BBPS89,
   author =    {S. Bergamaschi and G. Bombarda and L.
Piancastelli and C. Sartori},
   title =     {An expert system for the selection of a
composite material},
   booktitle = {2nd Int. Conf. on Data and Knowledge Systems for
Manufacturing
                and Engineering},
   pages =     {140--141},
   publisher = {IEEE - Computer Society Press},
   address =   {Washington DC},
   month =     oct,
   year =      "1989",
   tipobib =   5,
}
@inproceedings{BCST88,
   author =    {S. Bergamaschi and L. Cavedoni and C. Sartori
and P. Tiberio},
   title =     {On Taxonomical Reasoning in {E/R} Environment},
   booktitle = {7th Int. Conf. on the Entity Relationship
                Approach - Roma - 1988},
   editor =    {C. Batini},
   pages =     {443--454},
   publisher = {Elsevier Science Publisher B.V. (North-H},
   address =   {Amsterdam},
   year =      "1989",
   tipobib =   5,
}
@inproceedings{BLS89,
   author =    {S. Bergamaschi and S. Lodi and C. Sartori},
   title =     {Un editor intelligente per la costruzione di una
base di
                conoscenza secondo il modello
{Entit\`a-Situazione}},
   booktitle = {Quarto Convegno Annuale sulla Programmazione
Logica},
   editor =    {P. Mello},
   pages =     {389--402},
   address =   {Bologna},
   month =     jun,
   year =      "1989",
   tipobib =   6,
}
@inproceedings{BLS89b,
   author =    {S. Bergamaschi and S. Lodi and C. Sartori},
   title =     {{Entit\`a-Situazione}: un modello di
rappresentazione della
                conoscenza},
   booktitle = {Congresso Annuale},
   pages =     {285--299},
   address =   {Trieste},
   month =     oct,
   year =      "1989",
   tipobib =   6,
}
@article{BST89,
   author =  {S. Bergamaschi and C. Sartori and P. Tiberio},
   title =   {Dalle basi di dati alle basi di conoscenza},
   journal = {Alta Frequenza - Rivista di Elettronica},
   volume =  1,
   number =  1,
   pages =   {41--53},
   year =    "1989",
   tipobib = 3,
}
@article{BBCST88,
   author =  {S. Bergamaschi and F. Bonfatti and L. Cavazza and
C. Sartori and
              P. Tiberio},
   title =   {Relational database design for the intensional
aspects of a
              knowledge base},
   journal = {Information Systems - Pergamon Press},
   volume =  13,
   number =  3,
   pages =   {245--256},
   year =    "1988",
   tipobib = 1,
}
@inproceedings{BBS88,
   author =    {S. Bergamaschi and F. Bonfatti and C. Sartori},
   title =     {{Entity-Situation}: a Model for the Knowledge
Representation
                Module of a {KBMS}},
   booktitle = {Advances in Database Technology (EDBT88)},
   editor =    {S. Ceri and J. W. Schmidt and M. Missikoff},
   pages =     {578--582},
   publisher = {Springer-Verlag},
   series =    lncs,
   volume =    {},
   address =   {Heidelberg},
   year =      "1988",
   tipobib =   5,
}
@inproceedings{BCS88,
   author =    {S. Bergamaschi and P. Ciaccia and C. Sartori},
   title =     {Relational logical design of knowledge
representation system
                supporting incomplete information},
   booktitle = {3rd International Symposium on Knowledge
Engineering},
   pages =     {119--125},
   address =   {Madrid},
   month =     oct,
   year =      "1988",
   tipobib =   5,
}
@inproceedings{BCS88a,
   author =    {S. Bergamaschi and P. Ciaccia and C. Sartori},
   title =     {Basi di conoscenza e basi di dati:
memorizzazione degli aspetti
                estensionali},
   booktitle = {Congresso Annuale},
   pages =     {99--112},
   address =   {Cagliari},
   month =     sep,
   year =      "1988",
   tipobib =   6,
}
@techreport{BBCST87,
   author =      {S. Bergamaschi and F. Bonfatti and L. Cavazza
and C. Sartori and
                  P. Tiberio},
   title =       {Relational database design for the
terminological aspects of a
                  knowledge base},
   institution = {CIOC - CNR},
   series =      {Rapp. Tecnico},
   address =     {Viale Risorgimento, 2 - Bologna},
   number =      61,
   month =       mar,
   year =        "1987",
   tipobib =     7,
}
@article{BBST87,
   author =  {S. Bergamaschi and F. Bonfatti and C. Sartori and
P. Tiberio},
   title =   {Modelli concettuali: un supporto al progetto di
basi di dati},
   journal = {Alta Frequenza},
   volume =  19,
   number =  2,
   pages =   {119--131},
   year =    "1987",
   tipobib = 3,
}
@misc{BS87,
   author =  {S. Bergamaschi and C. Sartori},
   title =   {Connection {BACK} - Relational {DBMS}},
   month =   jun,
   year =    "1987",
   tipobib = 7,
}
@inproceedings{BBCST86,
   author =    {S. Bergamaschi and F. Bonfatti and L. Cavazza
and C. Sartori and
                P. Tiberio},
   title =     {Logical design of an integrated knowledge and
data base},
   booktitle = {Workshop on Integration of Logic Programming and
Databases},
   address =   {Venezia},
   month =     dec,
   year =      "1986",
   tipobib =   5,
}
@article{BS86,
   author =  {S. Bergamaschi and M. R. Scalas},
   title =   {Choice of the optimal number of blocks for data
access by an
              index},
   journal = {Inform. Syst.},
   volume =  11,
   number =  5,
   year =    "1986",
}
@techreport{BBS85,
   author =      {S. Bergamaschi and F. Bonfatti and C. Sartori},
   title =       {Action modelling in conceptual design},
   institution = {CIOC - CNR},
   series =      {Rapp. Tecnico},
   address =     {Viale Risorgimento, 2 - Bologna},
   number =      56,
   month =       oct,
   year =        "1985",
   tipobib =     7,
}
@techreport{BBST85,
   author =      {S. Bergamaschi and F. Bonfatti and C. Sartori
and P. Tiberio},
   title =       {The knowledge base management system},
   institution = {CIOC - CNR},
   series =      {Rapp. Tecnico},
   address =     {Viale Risorgimento, 2 - Bologna},
   number =      57,
   month =       oct,
   year =        "1985",
   tipobib =     7,
}
@inproceedings{bergamaschi:cia97,
   author =    {Sonia Bergamaschi},
   title =     {Extraction of informations from highly
heterogeneous source of
                textual data},
   booktitle = {First International Workshop CIA-97 COOPERATIVE
INFORMATION
                AGENTS - DAI meets Database Systems, University
of Kiel, Kiel,
                Germany},
   year =      "1997",
   tipobib =   5,
}
@article{bergamaschi:lodi:sartori:dke94,
   author =    {Sonia Bergamaschi and Stefano Lodi and Claudio
Sartori},
   title =     {The Entity/Situation Knowledge Representation
System},
   journal =   {Data and Knowledge Engineering},
   volume =    14,
   number =    2,
   publisher = {Elsevier Science B.V. (North-Holland)},
   address =   {Amsterdam, NL},
   pages =     {81-115},
   year =      "1994",
   month =     dec,
   tipobib =   1,
}
@book{bertino:libro,
   author =    {E. Bertino and L. Martino},
   title =     {Object Oriented Database Systems},
   publisher = {Addison-Wesley},
   address =   {},
   year =      "1993",
}
@article{query:optim:bertino,
   author =  {E. Bertino and D. Musto},
   title =   {Query optimization by using knowledge about data
semantics},
   journal = {Data and Knowledge Engineering},
   volume =  9,
   number =  2,
   pages =   {121--155},
   month =   dec,
   year =    "1992",
}
@article{query:sbattella,
   author =  {E. Bertino and M. Negri and G. Pelagatti and L.
Sbattella},
   title =   {Object-Oriented Query Languages: The Notion and
the Issues},
   journal = {IEEE Trans. Knowl. and Data Engineering},
   volume =  4,
   number =  3,
   pages =   {223--236},
   month =   jun,
   year =    "1992",
}
@article{BE77,
   author =  {M. W. Blasgen and K. P. Eswaran},
   title =   {Storage and access in relational databases},
   journal = {IBM Systems Journal},
   volume =  16,
   number =  4,
   year =    "1977",
}
@article{reas:fun:dep,
   author =  {M. F. van Bommel and G. E. Weddel},
   title =   {Reasoning about equations and functional
dependencies on complex
              objects},
   journal = {IEEE Transactions on Knowledge and Data
Engineering},
   volume =  6,
   number =  3,
   pages =   {455--469},
   month =   jun,
   year =    "1994",
}
@article{BMT85,
   author =  {R. Bonanno and D. Maio and P. Tiberio},
   title =   {An approximation algorithm for secondary index
selection in
              relational data base physical design},
   journal = {The Computer Journal},
   volume =  28,
   number =  4,
   year =    "1985",
}
@techreport{BMT84,
   author =  {R. Bonanno and D. Maio and P. Tiberio},
   title =   {An approximation algorithm for secondary index
selection in
              relational database physical design},
   address = {Viale Risorgimento, 2 - Bologna},
   number =  48,
   year =    "1984",
}
@techreport{BB84,
   author =  {F. Bonfatti and S. Bergamaschi and others},
   title =   {Verifica della metodologia manuale {DATAID} per la
progettazione
              concettuale, applicazione ad un problema di
pianificazione
              regionale},
   address = {Viale Risorgimento, 2 - Bologna},
   number =  50,
   year =    "1984",
}
@article{boone59,
   author =  {W. W. Boone},
   title =   {The word problem},
   journal = {Ann. of Math.},
   volume =  2,
   number =  70,
   pages =   {207--265},
   year =    "1959",
}
@inproceedings{borgida:et:al:sigmod-89,
   author =    {A. Borgida and R. J. Brachman and D. L.
McGuinness and L. A.
                Resnick},
   title =     {{CLASSIC}: {A} Structural Data Model for
Objects},
   booktitle = {SIGMOD},
   pages =     {58--67},
   address =   {Portland, Oregon},
   year =      "1989",
}
@inproceedings{BBMR89,
   author =    {A. Borgida and R. J. Brachman and D. L.
McGuinness and L. A.
                Resnick},
   title =     {{CLASSIC}: {A} Structural Data Model for
Objects},
   booktitle = {SIGMOD},
   pages =     {58--67},
   address =   {Portland, Oregon},
   year =      "1989",
}
@article{borgida96,
   author =  {Alex Borgida},
   title =   {On the relative expressiveness of description
logics and predicate logics},
   journal = {Artificial Intelligence},
   volume =  82,
   number =  {1-2},
   pages =   {353--367},
   month =   may,
   year =    "1996",
}
@techreport{BS87b,
   author =  {S. Borner and R. Studer},
   title =   {An approach to manage large inheritance networks},
   number =  8,
   year =    "1987",
}
@inproceedings{BGM85,
   author =    {M. Bouzeghoub and G. Gardarin and E. Metais},
   title =     {Database Design Tools: an expert system
approach},
   booktitle = {Int. Conf. on Very Large Databases},
   pages =     {82--95},
   year =      "1985",
}
@inproceedings{BGL85,
   author =    {R. J. Brachman and V. P. Gilbert and H. J.
Levesque},
   title =     {An essential hybrid reasoning system: knowledge
and symbol level
                accounts of {KRYPTON}},
   booktitle = {IJCAI},
   pages =     {532--539},
   address =   {Los Angenels},
   year =      "1985",
}
@incollection{BL85,
   author =    {R. J. Brachman and H. J. Levesque},
   title =     {A fundamental tradeoff in knowledge
representation and reasoning},
   booktitle = {Reading in Knowledge Representation},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {Los Altos, CA},
   year =      "1985",
}
@article{BS85,
   author =  {R. J. Brachman and J. G. Schmolze},
   title =   {An Overview of the {KL-ONE} Knowledge
Representation System},
   journal = {Cognitive Science},
   volume =  9,
   number =  2,
   pages =   {171--216},
   year =    "1985",
}
@inproceedings{BL84,
   author =    {R. J. Brachman and H. J. Levesque},
   title =     {The tractability of Subsumption in Frame-Based
Description
                Languages},
   booktitle = {AAAI},
   pages =     {34--37},
   year =      "1984",
}
@inproceedings{BFL83,
   author =    {R. J. Brachman and R. E. Fikes and H. J.
Levesque},
   title =     {{KRYPTON}: integrating terminology and
assertions},
   booktitle = {AAAI Conference},
   pages =     {31--35},
   year =      "1983",
}
@article{BB89,
   author =  {J. Bradley and K. Harbison-Briggs},
   title =   {The Symptom-Component approach to Knowledge
Acquisition},
   journal = {SIGART Newsletter},
   number =  108,
   pages =   {70--76},
   month =   apr,
   year =    "1989",
}
@inProceedings{B+86,
   author =    {Y.J. Breibart and others},
   title =     {Database integration in a distributed
heterogeneous database system},
   booktitle = {Proc. 2nd Intl IEEE Conf. on Data Engineering,
Los Angeles,
  CA},
   year =      "1986",
}
@inproceedings{constr:satisfy:deduc,
   author =    {F. Bry and H. Decker and R. Manthey},
   title =     {A Uniform Approach to Constraint Satisfaction
and Constraint
                Satisfiability in Deductive Databases},
   booktitle = {EDBT '88 - Advances in Database Technology},
   editor =    {H. W. Schmidt and S. Ceri and M. Missikoff},
   pages =     {488--505},
   publisher = {Springer-Verlag},
   address =   {Heidelberg, Germany},
   month =     mar,
   year =      "1988",
}
@InProceedings{BMS83,
  author =       "G. Bucci and D. Maio and C. Sartori",
  title =        "Performance Modelling of a Distributed
Information
                 System",
  booktitle =    "{"}Int. 83 Bermuda Winter Symposium
{"Modelling and
                 Simulation"}{"}",
  editor =       "G. Mesenard",
  pages =        "95--98",
  year =         "1983",
   tipobib =      "5",
}
@inproceedings{query:optim:nutt,
   author =    {M. Buchheit and M. A. Jeusfeld and W. Nutt and
M. Staudt},
   title =     {Subsumption between Queries to Object-Oriented
Database},
   booktitle = {EDBT},
   pages =     {348--353},
   year =      "1994",
}
@inproceedings{BF79,
   author =    {P. Buneman and R. E. Frankel},
   title =     {{FQL}: a functional query language},
   booktitle = {SIGMOD},
   pages =     {52--58},
   address =   {Boston - Massachusset},
   year =      "1979",
}
@techReport{Medstandard,
   author =      {P. Buneman and L. Raschid and J. Ullman},
   title =       {Mediator languages - a proposal for a
standard},
   institution = {University of Maryland},
   year =        "1996",
   note = {ftp://ftp.umiacs.umd.edu /pub/ONRrept/ medmodel96.ps},
}
@inproceedings{Bussche91,
   author =    {J. Van Den Bussche and J. Paredaens},
   title =     {The Expressive Power of Structured Values in
Pure {OODB}'s},
   booktitle = {PODS '91},
   pages =     {291--299},
   publisher = {ACM Press},
   year =      "1991",
}
@inproceedings{CCCTZ90,
   author =    {F. Cacace and S. Ceri and S. Crespi-Reghizzi and
L. Tanca and R.
                Zicari},
   title =     {Integrating object oriented data modelling with
a rule-based
                programming paradigm},
   booktitle = {Symp. on Principles of Database Systems},
   pages =     {225--236},
   year =      "1990",
}
@inproceedings{lenzerini:pods94,
   author =    {D. Calvanese and M. Lenzerini},
   title =     {Making object-oriented schemas more expressive},
   booktitle = {PODS - Principles of Database Systems},
   publisher = {ACM Press},
   year =      "1994",
}
@inproceedings{class:based:form,
   author =    {D. Calvanese and M. Lenzerini and D. Nardi},
   title =     {A unified framework for class-based formalisms},
   booktitle = {KR '94 - Int. Conf on Principles of Knowledge
Representation and
                Reasoning},
   editor =    {J. Allen and R. Fikes and E. Sandewall},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {Cambridge - MA},
   pages =     {109--120},
   year =      "1994",
}
@incollection{CARD84,
   author =    {L. Cardelli},
   title =     {A semantics of multiple inheritance},
   booktitle = {Semantics of Data Types},
   pages =     {51--67},
   volume =    173,
   series =    lncs,
   publisher = {Springer-Verlag},
   year =      "1984",
}
@incollection{cardelli:lncs-84,
   author =    {L. Cardelli},
   title =     {A semantics of multiple inheritance},
   booktitle = {Semantics of Data Types},
   pages =     {51--67},
   volume =    173,
   series =    lncs,
   publisher = {Springer-Verlag},
   year =      "1984",
}
@article{CARD75,
   author =  {A. F. Cardenas},
   title =   {Analysis and performance of inverted database
structures},
   journal = {Communications of the ACM},
   volume =  18,
   number =  5,
   year =    "1975",
}
@inproceedings{CARR90,
   author =    {A. Carrara and M. Cardinali and R. Detti and G.
Guzzetti and V.
                Pasqui and P. Re},
   title =     {Geographical information systems and
multivariate models in
                landslide hazard evaluation},
   booktitle = {Int. Conf. and Field Workshop of Landlides},
   pages =     {17--28},
   address =   {Milano},
   month =     sep,
   year =      "1990",
}
@book{Cattel96,
   author =    {R. G. G. Cattel},
   title =     {The Object Database Standard - ODGM93},
   publisher = {Morgan Kaufmann},
   year =      "1996",
}
@techreport{engineering:database,
   author =      {R. G. G. Cattell and J. Skeen},
   title =       {Engineering {DBMS} Benchmark},
   institution = {Sun Microsystems, Database Engineering Group},
   address =     {Mountain View CA},
   year =        "1990",
}
@article{engineering:database:tods,
   author =  {R. G. G. Cattell and J. Skeen},
   title =   {Object Operations Benchmark},
   journal = {ACM Trans. on Database Systems},
   volume =  17,
   number =  1,
   year =    "1990",
}
@article{minker:opt,
   author =  {U. S. Chakravarthy and J. Grant and J. Minker},
   title =   {Logic-Based Approach to Semantic Query
Optimization},
   journal = {ACM Trans. on Database Systems},
   volume =  15,
   number =  2,
   pages =   {162--207},
   month =   jun,
   year =    "1990",
}
@article{CHAM81,
   author =  {D. D. Chamberlin and others},
   title =   {A history and evaluation of {System R}},
   journal = {Communications of the ACM},
   volume =  24,
   number =  10,
   pages =   {632--646},
   month =   oct,
   year =    "1981",
}
@inproceedings{query:optim:chan,
   author =    {Edward P. F. Chan},
   title =     {Containment and Minimization of Positive
Conjunctive Queries in
                {OODB}'s},
   booktitle = {Principles of Database Systems},
   pages =     {202--11},
   publisher = {ACM},
   year =      "1992",
}
@TECHREPORT{LOREL,
    AUTHOR        = "D.Quass and A.Rajaraman and Y.Sagiv and
J.Ullman and J.Widom",
    TITLE         = "Querying Semistructured Heterogeneous
Informations",
    INSTITUTION   = "Stanford University",
    YEAR          = "1996"}

@inProceedings{TSIMMIS:general,
   author =    {S. Chawathe and Garcia Molina and H. and J.
Hammer and
                 K.Ireland and Y. Papakostantinou and J.Ullman
and J. Widom},
   title =     {The {TSIMMIS} project: Integration of
heterogeneous information
  sources},
   booktitle = {IPSJ Conference, Tokyo, Japan},
   year =      "1994",
   note = {ftp://db.stanford.edu /pub/chawathe/1994/
tsimmis-overview.ps},
}
@INPROCEEDINGS{TSIextv,
    AUTHOR        = "Y.Papakonstantinou and S. Abiteboul and H.
Garcia-Molina",
    TITLE         = "Object Fusion in Mediator Systems",
    BOOKTITLE     = "VLDB Int. Conf.",
    ADDRESS       = "Bombay, India",
    MONTH         = "September",
    YEAR          = "1996"
    }
@TECHREPORT{PGW94,
    AUTHOR        = "Y.Papakonstantinou and H.Garcia-Molina and
J.Widom",
    TITLE         = "Object Exchange Across Heterogeneous
Information Sources",
    INSTITUTION   = "Stanford University",
    YEAR          = "1994"}
@TECHREPORT{garlic1,
    AUTHOR        = "M.J.Carey and L.M. Haas and P.M. Schwarz
and M. Arya and W.F. Cody and R. Fagin and M. Flickner and A.W.
Luniewski and W. Niblack and D. Petkovic and J. Thomas and J.H.
Williams and E.L. Wimmers",
    TITLE         = "Object Exchange Across Heterogeneous
Information Sources",
    INSTITUTION   = "Stanford University",
    YEAR          = "1994"}
@INPROCEEDINGS{garlic2,
    AUTHOR        = "M.T. Roth and P. Scharz",
    TITLE         = "Don't Scrap It, Wrap it! A Wrapper
Architecture for Legacy Data Sources",
    BOOKTITLE     = "Proc.  of the 23rd Int. Conf. on Very Large
Databases",
    ADDRESS       = "Athens, Greece",
    YEAR          = "1997"}
@ARTICLE{sims1,
    AUTHOR        = "Y. Arens and C.Y. Chee and C. Hsu and C. A.
Knoblock",
    TITLE         = "Retrieving and Integrating Data from
Multiple Information Sources",
    JOURNAL       = "International Journal of Intelligent and
Cooperative Information Systems",
    VOLUME        = "2",
    NUMBER        = "2",
    PAGES         = "127-158",
    YEAR          = "1993"}
@manual{CHEN87,
   author =  {P. Chen},
   title =   {{ER}-Designer},
   address = {Baton-Rouge - Louisiana},
   year =    "1987",
}

@ARTICLE{sims2,
    AUTHOR        = "Y. Arens and C. A. Knoblock and C. Hsu",
    TITLE         = "Query Processing in the SIMS Information
Mediator",
    JOURNAL       = "Advanced Planning Technology",
    YEAR          = "1996"}


@article{CHEN76,
   author =  {P. Chen},
   title =   {The {Entity-Relationship} Model - Towards a
Unified View of Data},
   journal = {ACM Trans. on Database Systems},
   volume =  1,
   number =  1,
   pages =   {9--36},
   year =    "1976",
}
@article{CA91,
   author =  {Z. Chen and S. Al-Schamma},
   title =   {Integrated Use of Expert Systems at the {K}-Tree
Level},
   journal = {ACM SIGART Bulletin},
   volume =  2,
   number =  4,
   pages =   {6--11},
   year =    "1991",
}
@article{CMNK88,
   author =  {J. Choobineh and M. V. Mannino and J. F. Numaker
and B. R.
              Konsinsky},
   title =   {An expert database design system based on forms},
   journal = {IEEE Transactions on Software Enginering},
   volume =  14,
   number =  2,
   pages =   {242--253},
   year =    "1988",
}
@article{CHRI84,
   author =  {S. Christodulakis},
   title =   {Estimating block selectivites},
   journal = {Inform. Syst.},
   volume =  9,
   number =  1,
   year =    "1984",
}
@article{CHRI83,
   author =  {S. Christodulakis},
   title =   {Estimating record selectivities},
   journal = {Inform. Syst.},
   volume =  8,
   number =  2,
   pages =   {105--115},
   year =    "1983",
}
@inproceedings{int:answ:type,
   author =       {W. W. Chu and R. C. Lee and Q. Chen},
   title =        {Using type inference and induced rules to
provide intensional
                   answers},
   booktitle =    {7th Int. Conf. on Data Eng.},
   organization = {IEEE Comp. Soc.},
   year =         "1991",
}
@article{CIAC90,
   author =  {P. Ciaccia},
   title =   {Block access estimation for clustered data},
   journal = {IEEE Trans. on Knowledge and Data Engine},
   year =    "1993",
   note =    {toappear},
}
@article{CMV90,
   author =  {P. Ciaccia and D. Maio and G. P. Vacca},
   title =   {An Analytical Short- and Long-Term model of
presynaptic
              plasticity},
   journal = {Biological Cybernetics},
   volume =  67,
   pages =   {335--345},
   year =    "1992",
}
@inproceedings{CGM90,
   author =    {P. Ciaccia and F. Grandi and D. Maio},
   title =     {Local activity: a biological-redictionist
approach to the study
                of neural networks},
   booktitle = {2nd Italian Workshop on Parallel Architectures
and Neural
                Networks},
   editor =    {R. Caianiello},
   pages =     {11--18},
   publisher = {World Scientific Publishing Co.},
   address =   {Singapore},
   year =      "1990",
}
@techreport{CM90,
   author =  {P. Ciaccia and D. Maio},
   title =   {A formal model for projection size estimation
based on domain
              cardinalities constraints},
   address = {Bologna - Italia},
   number =  75,
   month =   dec,
   year =    "1990",
}
@techreport{CM90b,
   author =  {P. Ciaccia and D. Maio},
   title =   {Access cost estimation for physical database
design},
   address = {Bologna - Italia},
   number =  72,
   month =   oct,
   year =    "1990",
}
@article{CS89,
   author =  {P. Ciaccia and M. R. Scalas},
   title =   {Optimization strategies for relational disjunctive
queries},
   journal = {IEEE Transactions on Software Enginering},
   volume =  15,
   number =  10,
   pages =   {1217--123},
   month =   oct,
   year =    "1989",
}
@unpublished{CMT87,
   author =  {P. Ciaccia and D. Maio and P. Tiberio},
   title =   {A unifying approach to evaluating block accesses
in database
              organizations},
   month =   mar,
   year =    "1987",
}
@techreport{CMT86,
   author =  {P. Ciaccia and D. Maio and P. Tiberio},
   title =   {A recursive query processing method based in
hierarchy encoding
              via simple continued fractions},
   address = {Viale Risorgimento, 2 - Bologna},
   number =  59,
   month =   jul,
   year =    "1986",
}
@article{query:optimization:clement,
   author =  {T. Y. Clement and W. Sun},
   title =   {Automatic knowledge acquisition and maintenance
for semantic
              query optimization},
   journal = {IEEE Transactions on Knowledge and Data
Engineering},
   volume =  1,
   number =  3,
   pages =   {362--375},
   month =   sep,
   year =    "1989",
}
@inproceedings{path:constraints,
   author =    {N. Coburn and G. E. Weddel},
   title =     {Path Constraints for Graph-Based Data Models:
Towards a Unified
                Theory of Typing Constraints, Equations and
Functional
                Dependencies},
   booktitle = {2nd Int. Conf. on Deductive and Object-Oriented
Databases},
   pages =     {312--331},
   publisher = {Springer-Verlag},
   address =   {Heidelberg, Germany},
   month =     dec,
   year =      "1991",
}
@inproceedings{path:constraints:primo,
   author =    {N. Coburn and G. E. Weddel},
   title =     {A Theory of Specialization Constraints for
Complex Objects},
   booktitle = {3rd Int. Conf. on Databases Theory},
   pages =     {229--244},
   publisher = {Springer-Verlag},
   address =   {Heidelberg, Germany},
   month =     dec,
   year =      "1990",
}
@article{COME79,
   author =  {D. Comer},
   title =   {The ubiquitous {B-tree}},
   journal = {ACM Computing Surveys},
   volume =  11,
   number =  2,
   pages =   {121--137},
   month =   jun,
   year =    "1979",
}
@inproceedings{Corella:84,
   author =    {F. Corella},
   title =     {Semantic retrieval and levels of abstraction},
   booktitle = {1st Int. Workshop on Expert Database Systems},
   year =      "1984",
   pages =     {91--114},
}
@inproceedings{CDNS90,
   author =    {R. Cucchiara and L Di Stefano and G. Neri and
Tullio Salmon
                Cinotti},
   title =     {A programmable image processing system for real
time applications},
   booktitle = {International Symposium of Applied Informatics},
   address =   {Innsbruck - Austria},
   month =     feb,
   year =      "1990",
}
@inproceedings{CDNS90b,
   author =    {R. Cucchiara and L. Di Stefano and G. Neri and
T. Salmon Cinotti},
   title =     {Driving a {SIMD} array with a {RISC} control
unit: a modular and
                flexible approachh to computer vision
applications},
   booktitle = {Int. Conf. on Information Technology},
   address =   {Tokio - Japan},
   month =     oct,
   year =      "1990",
}
@inproceedings{DLW84,
   author =    {P. Dadam and V. Lum and H. D. Werner},
   title =     {Integration of time versions into a relational
database system},
   booktitle = {10th VLDB Int. Conf.},
   pages =     {509--522},
   year =      "1984",
}
@inProceedings{DH86,
   author =    {U. Dayal and H. Hwuang},
   title =     {View definition and generalization for databse
integration in a
  multidatabase system},
   booktitle = {Proc. IEEE Workshop on Object-Oriented DBMS -
Asilomar, CA},
   year =      "1986",
}
@techreport{DAYA85,
   author =  {V. Dayal and others},
   title =   {{PROBE}: a research project in knowledge oriented
database
              systems - Preliminary analysis},
   number =  {85-03},
   year =    "1985",
}
@inproceedings{DD89,
   author =    {L. M. L. Delcambre and K. C. Davis},
   title =     {Automatic Validation of Object-Oriented Database
Structures},
   booktitle = {5th Int. Conf. on Data Engineering},
   pages =     {2--9},
   address =   {Los Angeles, CA},
   year =      "1989",
}
@article{DL88,
   author =  {K. R. Dittrich and R. A. Lorie},
   title =   {Version support for engineering database systems},
   journal = {IEEE Transactions on Software Enginering},
   volume =  14,
   number =  4,
   pages =   {429--436},
   year =    "1988",
}
@inproceedings{donini:93,
   author =    {F. M. Donini and A. Schaerf and M. Buchheit},
   title =     {Decidable Reasoning in Terminological Knowledge
Representation
                Systems},
   booktitle = {13th International Joint Conference on
Artificial Inteligence},
   month =     sep,
   year =      "1993",
}
@inproceedings{DLN91,
   author =    {F. M. Donini and M. Lenzerini and D. Nardi and
W. Nutt},
   title =     {The Complexity of Concept Languages},
   booktitle = {KR '91 - 2nd Int. Conf on Principles of
Knowledge Representation
                and Reasoning},
   editor =    {J. Allen and R. Fikes and E. Sandewall},
   pages =     {151--162},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {Cambridge - MA},
   month =     apr,
   year =      "1991",
}
@inproceedings{DLN91a,
   author =    {F. M. Donini and M. Lenzerini and D. Nardi and
W. Nutt},
   title =     {The complexity of concept languages},
   editor =    {J. Allen and R. Fikes and E. Sandewall},
   booktitle = {KR '91 - 2nd Int. Conf on Principles of
Knowledge Representation
                and Reasoning},
   pages =     {151--162},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {Cambridge - MA},
   month =     apr,
   year =      "1991",
}
@inproceedings{DLNN91,
   author =    {F. M. Donini and M. Lenzerini and D. Nardi and
W. Nutt},
   title =     {Tractable Concept Languages},
   booktitle = {IJCAI 91},
   address =   {Australia},
   year =      "1991",
}
@article{DHL92,
   author =  {Francesco M. Donini and Bernhard Hollunder and
Maurizio Lenzerini
              and Alberto Marchetti Spaccamela and Daniele Nardi
and Werner
              Nutt},
   title =   {The complexity of existential quantification in
concept languages},
   journal = {Artificial Intelligence},
   volume =  53,
   number =  {2-3},
   pages =   {309--327},
   month =   feb,
   year =    "1992",
}
@inCollection{elmasri:wuu:kouramajian:93,
   author =    {R[amez] Elmasri and G[ene] T. J. Wuu and V[ram]
Kouramajian},
   title =     {A temporal model and query language for {EER}
databases},
   chapter =   9,
   crossref = {temporal:databases:93},
   pages = "212-229",
}
@article{EEMT87,
   author =  {L. Eshelman and D. Ehret and J. McDermott and M.
Tan},
   title =   {{MOLE}: {A} Tenacious Knowledge Acquisition Tool
for Expert
              Systems},
   journal = {International Journal of Man-Machine Stu},
   volume =  26,
   number =  1,
   pages =   {29--40},
   year =    "1987",
}
@inproceedings{FERR85,
   author =    {F. Ferrara},
   title =     {{EASY-ER}, an integrated system for the design
and documentation
                of database applications},
   booktitle = {4th Int. Conf. on Entity-Relationship Approach},
   address =   {Chicago - IL},
   year =      "1985",
}
@incollection{FS86,
   author =    {T. Finin and D. Silverman},
   title =     {Interactive Classification as a Knowledge
Acquisition Tool},
   booktitle = {Expert Database Systems},
   editor =    {L. Kershberg},
   pages =     {79--90},
   publisher = {The Benjamin/Cummings Publishing Company},
   year =      "1986",
}
@techreport{FST86,
   author =  {S. Finkelstein and M. Schkolnick and P. Tiberio},
   title =   {Physical database design for relational databases},
   number =  2,
   year =    "1986",
}
@techreport{FST84,
   author =  {S. Flinkelstein and M. Schkolnick and P. Tiberio},
   title =   {{DBDSGN}: a tool for System-{R} Data Base design},
   year =    "1984",
}
@inProceedings{gadia:yeung:88,
   author =    {S. K. Gadia and C. S. Yeung},
   title =     {A generalized model for a relational temporal
database},
   booktitle = {ACM SIGMOD},
   year =      1988,
   pages = "251-259",
}
@inproceedings{logic:and:db:2,
   author =    {H. Gallaire and J. M. Nicholas},
   title =     {Logic and Databases: An Assessment},
   booktitle = {ICDT 90},
   editor =    {S. Abiteboul and P. Kanellakis},
   pages =     {177--186},
   publisher = {Springer-Verlag},
   address =   {Heidelberg, Germany},
   month =     dec,
   year =      "1990",
}
@article{logic:and:db,
   author =  {H. Gallaire and J. Minker and J. M. Nicholas},
   title =   {Logic and Databases: a Deductive Approach},
   journal = {ACM Computing Surveys},
   volume =  16,
   number =  2,
   year =    "1984",
}
@inProceedings{TSIMMIS:mediator1,
   author =    {H. Garcia-Molina and others},
   title =     {The {TSIMMIS} approach to mediation: Data models
and languages},
   booktitle = {NGITS workshop},
   year =      "1995",
   note = {ftp://db.stanford.edu
/pub/garcia/1995/tisimmis-models-languages.ps},
}
@book{GJ79,
   author =    {M. R. Garey and D. S. Johnson},
   title =     {Computers and Intractability},
   publisher = {Freeman},
   address =   {San Francisco, CA},
   year =      "1979",
}
@inproceedings{dexa95,
   author =    {D. Gazzotti and L. Piancastelli and C. Sartori
and D. Beneventano},
   title =     {{FuzzyBase}, a fuzzy-Logic aid for Relational
Database Queries},
   booktitle = {6th Int. Conf. on Database and Expert System
Applications -
                {DEXA'95}},
   publisher = {Springer-Verlag},
   volume =    978,
   series =    {Lecture Notes in Computer Science},
   address =   {London, UK},
   month =     sep,
   year =      "1995",
   pages =     {385-394},
   tipobib =   5,
}
@article{GHOS88,
   author =  {S. P. Ghosh},
   title =   {{SIAM}: statistics information access method},
   journal = {Inform. Syst.},
   volume =  13,
   number =  4,
   pages =   {359--368},
   year =    "1988",
}
@book{smalltalk:libro,
   author =    {A. Goldberg and D. Robson},
   title =     {Smalltalk - 80: the language and its
implementation},
   publisher = {Addison$\sim$Wesley},
   year =      "1983",
}
@inproceedings{GS91,
   author =    {F. Grandi and M. R. Scalas},
   title =     {Ho{TQ}uel: An history-oriented temporal query
language},
   booktitle = {COMPEURO '91},
   address =   {Bologna, Italy},
   month =     may,
   year =      "1991",
}
@techreport{GST91,
   author =  {F. Grandi and M. R. Scalas and P. Tiberio},
   title =   {A history-oriented data view and operation
semantics for temporal
              relational databases},
   address = {Bologna},
   number =  76,
   month =   jan,
   year =    "1991",
}
@article{gurevich:lewis84,
   author =  {Yuri Gurevich and Harry R. Lewis},
   title =   {The word problem for cancellation semigroups with
zero},
   journal = jsl,
   volume =  49,
   number = 1,
   pages =   {25--35},
   month = mar,
   year =    "1984",
}
@article{gurevich66,
   author =  {Yuri Gurevich},
   title =   {The word problem for certain classes of
semigroups},
   journal = {Algebra and Logic},
   volume =  5,
   pages =   {25--35},
   year =    "1966",
}
@article{HM93,
   author =  {J. Hammer and D. McLeod},
   title =   {An approach to resolving semantic heterogeneity in
a federation of
  autonomous, heterogeneous database systems},
   journal = {Intl Journal of Intelligent and Cooperative
Information
  Systems},
   volume =  2,
   pages =   "51--83",
   year =    "1993",
}
@article{HM81,
   author =  {M. M. Hammer and D. McLeod},
   title =   {Database description with {SDM}: a Semantic Data
Model},
   journal = {ACM Trans. on Database Systems},
   volume =  6,
   number =  3,
   pages =   {351--386},
   year =    "1981",
}
@inproceedings{query:optim:hammer,
   author =    {M. M. Hammer and S. B. Zdonik},
   title =     {Knowledge based query processing},
   booktitle = {6th Int. Conf. on Very Large Databases},
   pages =     {137--147},
   year =      "1980",
}
@inproceedings{hanschke-kr-92,
   author =    {Philipp Hanschke},
   title =     {Specifying Role Interaction in Concept
Languages},
   editor =    {Bernhard Nebel and Charles Rich and William
Swartout},
   pages =     {318--329},
   booktitle = {Proc. of the Third Int. Conf. on Principles of
Knowledge
                Representation and Reasoning},
   year =      "1992",
   publisher = {Morgan Kaufmann Publishers},
}
@article{HS78,
   author =  {G. Held and M. Stonebraker},
   title =   {{B}-trees re-examined},
   journal = {Communications of the ACM},
   volume =  21,
   number =  2,
   year =    1978,
}
@inproceedings{tableaux,
   author =    {B. Hollunder and W. Nutt and M. Schmidt-Schauss},
   title =     {Subsumption Algorithms for Concept Description
Languages},
   booktitle = {9th ECAI},
   pages =     {348--353},
   address =   {Stockholm, Sweden},
   year =      "1990",
}
@techreport{DFKI90,
   author =      {Bernhard Hollunder and Werner Nutt},
   title =       {Subsumption algorithms for concept languages},
   institution = {Research Report RR-90-4, Deutsche
Forschungszentrum fuer
                  Kuenstliche Intelligenz GmbH, Kaiserslautern,
Germany},
   month =       apr,
   year =        "1990",
}
@inproceedings{HNSS90,
   author =    {Bernhard Hollunder and Werner Nutt and M.
Schmidt-Schauss},
   title =     {Subsumption algorithms for concept languages},
   booktitle = {Proc. ECAI-90, Stockholm, Sweden},
   year =      "1990",
}
@article{HT88,
   author =  {Y-S Hsiao and A. L. Tharp},
   title =   {Adaptive hashing},
   journal = {Inform. Syst.},
   volume =  13,
   number =  1,
   pages =   {111--127},
   year =    "1988",
}
@article{HY84,
   author =  {R. B. Hull and C. K. Yap},
   title =   {The format model: a theory of database
organization},
   journal = {Journal of the ACM},
   volume =  31,
   number =  3,
   pages =   {518--537},
   year =    "1984",
}
@article{HuKi87,
   author =  {R. Hull and R. King},
   title =   {Semantic Database Modelling: Survey, Applications
and Research
              Issues},
   journal = {ACM Computing Surveys},
   volume =  19,
   number =  3,
   pages =   {201--252},
   month =   sep,
   year =    "1987",
}
@article{query:optim:jarke,
   author =  {M. Jarke and J. Koch},
   title =   {Query Optimization in Database Systems},
   journal = {ACM Computing Surveys},
   volume =  16,
   number =  2,
   pages =   {111--152},
   month =   jun,
   year =    "1984",
}
@article{jensen:snodgrass:soo:tkde96,
   author =  {C. S. Jensen and R. T. Snodgrass and M. D. Soo},
   title =   {Extending existing dependency theory to temporal
databases},
   journal = tkde,
   volume =  8,
   number = 4,
   pages =   "563-582",
   year =    1996,
}
@article{jensen:soo:snodgrass:is94,
   author =  {C. S. Jensen and M. D. Soo and R. T. Snodgrass},
   title =   {Unifying Temporal Models via a Conceptual Model},
   journal = {Information Systems},
   volume =  19,
   number = 7,
   pages =   "513-547",
   year =    "1994",
   note =    {},
}
@article{jensen:snodgrass:is96,
   author =  {Christian S. Jensen and Richard T. Snodgrass},
   title =   {Semantics of Time-Varying Information},
   journal = {Information Systems},
   volume =  21,
   number = 4,
   pages =   "311-352",
   year =    "1996",
   note =    {},
}
@incollection{query:optim:jeusfeld,
   author =    {M. Jeusfeld and M. Staudt},
   title =     {Query Optimization in Deductive Object Bases},
   booktitle = {Query Processing for Advanced Database System},
   editor =    {Freytag and Maier and Vossen},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   month =     jun,
   year =      "1993",
}
@inproceedings{KNM85,
   author =    {G. S. Kahn and S. Nowlan and J. McDermott},
   title =     {{MORE}: An Intelligent Knowledge Acquisition
Tool},
   booktitle = {9th International Joint Conference on Artificial
Inteligence},
   address =   {Los Angeles},
   month =     aug,
   year =      "1985",
}
@incollection{KARP72,
   author =    {R. M. Karp},
   title =     {Reducibility among combinatorial problems},
   booktitle = {Complexity of Computer Computations},
   editor =    {R. E. Miller and J. W. Tatcher},
   pages =     {85--103},
   publisher = {Plenum Press},
   year =      "1972",
}
@inproceedings{KC86,
   author =    {S. Khoshafian and G. Copeland},
   title =     {Object Identity},
   booktitle = {1st Int. Conf. on Object-Oriented Programming
Systems, Languages,
                and Applications},
   address =   {Portland},
   year =      "1986",
}
@article{KKS89,
   author =  {G. Kiernan and A. Koltun and E. N. Schwartz},
   title =   {Programming Expert Systems at the {K}-Tree Level},
   journal = {ACM SIGART Newsletter},
   number =  109,
   pages =   {28--30},
   year =    "1989",
}
@inproceedings{oodb:queries:kim,
   author =       {M. Kifer and W. Kim and Y. Sagiv},
   title =        {Querying Object-Oriented Databases},
   booktitle =    {SIGMOD '92},
   pages =        {393--402},
   organization = {ACM},
   month =        jun,
   year =         "1992",
}
@article{KiferLausenWu:jacm-95,
   author =  {Michael Kifer and Georg Lausen and James Wu},
   title =   {Logical foundations of Object-Oriented and
Frame-Based Languages},
   journal = {Journal of the ACM},
   volume =  42,
   number =  4,
   pages =   {741--843},
   year =    "1995",
}
@inproceedings{kim:query:model,
   author =    {W. Kim},
   title =     {A model of queries for Object-Oriented Database
Systems},
   booktitle = {Int. Conf. on Very Large Databases},
   address =   {Amsterdam, Holland},
   month =     aug,
   year =      "1989",
}
@inproceedings{query:optim:king,
   author =    {J. J. King},
   title =     {{QUIST}: a system for semantic query
optimization in relational
                databases},
   booktitle = {7th Int. Conf. on Very Large Databases},
   pages =     {510--517},
   year =      "1981",
}
@phdthesis{query:optim:kingphd,
   author =  {J. J. King},
   title =   {Query optimization by semantic reasoning},
   school =  {Dept. of Computer Science, Stanford University},
   address = {Palo Alto},
   year =    "1981",
}
@article{KW87,
   author =  {J. de Kleer and B. C. Williams},
   title =   {Diagnosing Multiple Faults},
   journal = {Artificial Intelligence},
   volume =  32,
   pages =   {97--130},
   year =    "1987",
}
@incollection{KLIN88,
   author =    {G. Klinker},
   title =     {{KNACK}: Sample-Driven Knowledge Acquisition for
Reporting
                Systems},
   booktitle = {Automatic Knowledge Acquisition for Expert
Systems},
   editor =    {S. Marcus},
   publisher = {Kluwer Academic Publishers},
   address =   {Boston},
   year =      "1988",
}
@techReport{smarter,
   author =      {Knowledge Based Systems, Inc.},
   title =       {{SmartER} - Information and Data Modeling and
Database Design},
   institution = {Knowledge Based Systems, Inc. - Austin, USA},
   year =        1997,
   note = {http://www.kbsi.com/products/smarter.html},
}
@article{KU89,
   author =  {M. Krishnamurti and Jr. A. J. Underbrink},
   title =   {Knowledge Acquisition in a Machine Fault Diagnosis
Shell},
   journal = {SIGART Newsletter},
   number =  108,
   pages =   {84--92},
   month =   apr,
   year =    "1989",
}
@inproceedings{tableaux:consistency,
   author =    {C. Kung},
   title =     {A Tableaux Approach for Consistency Checking},
   booktitle = {IFIP WG 8.1 Conf. on Theoretical and Formal
Aspects of
                Information Systems},
   address =   {Sitges, Spain},
   month =     apr,
   year =      "1985",
}
@inproceedings{KUPE87,
   author =    {G. M. Kuper},
   title =     {Logic programming with sets},
   booktitle = {6th Symp. on Principles of Database Systems},
   pages =     {11--20},
   address =   {San Diego - CA},
   month =     mar,
   year =      "1987",
}
@inproceedings{KV84,
   author =    {G. M. Kuper and M. Y. Vardi},
   title =     {A new approach to database logic},
   booktitle = {PODS '84},
   pages =     {86--96},
   publisher = {ACM Press},
   year =      "1984",
}
@inproceedings{lecluse:richard:pods-89,
   author =    {C. L{\'e}cluse and P. Richard},
   title =     {Modelling complex structures in Object-Oriented
databases},
   booktitle = {Symp. on Principles of Database Systems},
   pages =     {362--369},
   address =   {Philadelphia, PA},
   year =      "1989",
}
@inproceedings{lecluse:richard:vldb-89,
   author =    {C. L{\'e}cluse and P. Richard},
   title =     {The {O$_2$} database programming language},
   booktitle = {Int. Conf. On Very Large Data Bases},
   pages =     {411--422},
   address =   {Amsterdam},
   year =      "1989",
}
@inproceedings{LR89,
   author =    {C. Lecluse and P. Richard},
   title =     {Modelling complex structures in Object-Oriented
databases},
   booktitle = {Symp. on Principles of Database Systems},
   pages =     {362--369},
   address =   {Philadelphia, PA},
   year =      "1989",
}
@inproceedings{LR89b,
   author =    {C. Lecluse and P. Richard},
   title =     {The {O$_2$} database programming language},
   booktitle = {15th Int. Conf. on Very Large Databases},
   pages =     {411--422},
   address =   {Amsterdam},
   month =     feb,
   year =      "1989",
}
@inproceedings{LRV88,
   author =    {C. Lecluse and P. Richard and F. Velez},
   title =     {{O2}, an Object-Oriented data model},
   booktitle = {SIGMOD},
   pages =     {424--433},
   address =   {Chicago},
   month =     jun,
   year =      "1988",
}
@article{satisf:depend:constr,
   author =  {M. Lenzerini and P. Nobili},
   title =   {On the Satisfiability of Dependency Constraints in
              Entity-Relationship Schemata},
   journal = {Information Systems},
   year =    "1990",
   volume =  15,
   number =  4,
   pages =   {453--461},
}
@book{theory:of:computation,
   author =    {H. R. Lewis and H. P. Papadimitriou},
   title =     {Elements of the Theory of Computation},
   publisher = {Prentice Hall},
   address =   {Englewood Cliffs, N.J.},
   year =      "1981",
}
@book{LLOY87,
   author =    {J. W. Lloyd},
   title =     {Logic Programming},
   publisher = {Springer-Verlag},
   address =   {Berlin},
   edition =   {2nd},
   year =      "1987",
}
@phdthesis{stefano:tesi,
   author =  {S. Lodi},
   title =   {Il Sistema di rappresentazione della conoscenza
{E}-{S}: tecniche
              di ragionamento e architettura},
   school =  {Dipartimento di Elettronica Informatica e
Sistemistica},
   address = {Universit\`a degli Studi di Bologna},
   year =    "1993",
}
@techReport{erwin,
   author =      {Logic Works, Inc.},
   title =       {ERwin/ERX },
   institution = {Logic Works, Inc.},
   year =        1997,
   note =
{http://www.logicworks.com/products/erwinerx/index.asp},
}
@techreport{LNPS87,
   author =      {von K. Luck and B. Nebel and C. Peltason and
A. Schmiedel},
   title =       {The {BACK} system},
   institution = {KIT - Tech. Univ},
   address =     {Berlino},
   number =      41,
   year =        "1987",
}
@inproceedings{LUM79,
   author =    {V. Lum and others},
   title =     {1978 New Orleans Database Design Workshop
Report},
   booktitle = {Fifth International Conference on Very Large
Data Bases},
   pages =     {328--339},
   address =   {Rio de Janeiro},
   year =      "1979",
}
@book{MR90,
   author =    {D. Maio and S. Rizzi},
   title =     {Sistemi esperti - Esempi di applicazione},
   publisher = {CLUP},
   address =   {Milano},
   month =     feb,
   year =      "1990",
}
@article{MSS87,
   author =  {D. Maio and C. Sartori and M. R. Scalas},
   title =   {A modular, user-oriented decision support for
physical database
              design},
   journal = {Decision Support Systems - Elsevier},
   volume =  3,
   pages =   {155--163},
   year =    "1987",
   tipobib = 1,
}
@incollection{MS85,
   author =    {D. Maio and C. Sartori},
   title =     {Metodologie per la valutazione delle prestazioni
dei sistemi per
                la gestione di basi di dati},
   booktitle = {Basi di Dati - Stato dell'arte e prospettive},
   editor =    {P. Tiberio},
   pages =     {247--269},
   publisher = {Masson - Collana AICA di Informatica},
   address =   {Milano},
   year =      "1985",
   tipobib =   4,
}
@incollection{MSS85,
   author =    {D. Maio and C. Sartori and M. R. Scalas},
   title =     {Architecture of a physical design tool for
relational {DBMSs}},
   booktitle = {Computer-Aided Database Design},
   editor =    {A. Albano and V. De Antonellis and A. Di Leva},
   pages =     {115--130},
   publisher = {Elsevier Science Publishers B.V.
(North-Holland)},
   address =   {Amsterdam},
   year =      "1985",
   tipobib =   2,
}
@inproceedings{MSS84,
   author =    {D. Maio and C. Sartori and M. R. Scalas},
   title =     {{IDEA}: uno strumento per il progetto fisico di
basi di dati
                relazionali},
   booktitle = {Convegno {DATAID} - La progettazione di basi di
dati assistita da
                calcolatore},
   address =   {Roma},
   month =     apr,
   year =      "1984",
   tipobib =   6,
}
@article{MST84,
   author =  {D. Maio and M. R. Scalas and P. Tiberio},
   title =   {On estimating access costs in relational
databases},
   journal = {Information Processing Letters},
   volume =  19,
   number =  3,
   pages =   {157--161},
   year =    "1984",
}
@article{MST84A,
   author =  {D. Maio and M. R. Scalas and P. Tiberio},
   title =   {Dynamic non-dense indexes in relational Data
Bases},
   journal = {Inform. Syst.},
   volume =  9,
   number =  {3/4},
   year =    "1984",
}
@inproceedings{MST84C,
   author =    {D. Maio and M. R. Scalas and P. Tiberio},
   title =     {Un metodo operativo per la stima dei costi di
accesso ai dati
                usando {B}+trees},
   booktitle = {Convegno Nazionale AICA},
   address =   {Roma},
   month =     oct,
   year =      "1984",
}
@inproceedings{MS83,
   author =    {D. Maio and C. Sartori},
   title =     {A queueing network model approach for evaluating
relational data
                base performances},
   booktitle = {Modelling and Simulation},
   editor =    {M. H. Hamza},
   pages =     {224--231},
   publisher = {Acta Press},
   address =   {Lugano},
   month =     jun,
   year =      "1983",
   tipobib =   5,
}
@inproceedings{MS83b,
   author =    {D. Maio and C. Sartori},
   title =     {Queueing Network Models: a tool for relational
database design},
   booktitle = {Data For Science and Technology - 8th {CODATA}
Conf. - Poland -
                Oct. 1982},
   editor =    {P. S. Gleaser},
   pages =     {178--182},
   publisher = {Elsevier Science Publishers B.V. (North-},
   address =   {Amsterdam},
   year =      "1983",
   tipobib =   5,
}
@techreport{MSS83,
   author =      {D. Maio and C. Sartori and M. R. Scalas and P.
Tiberio},
   title =       {{IDEA}: Index Design Algorithm, Specifiche
funzionali e di
                  progetto di uno strumento automatizzato per la
scelta degli
                  indici},
   institution = {CIOC - CNR},
   series =      {Rapp. Tecnico},
   address =     {Viale Risorgimento, 2 - Bologna},
   number =      47,
   month =       sep,
   year =        "1983",
   tipobib =     7,
}
@article{MannaDershowitz79,
   author =  {Zohar Manna and Nachum Dershowitz},
   title =   {Proving Termination with Multiset Orderings},
   journal = {Communications of the ACM},
   year =    "1979",
   volume =  22,
   number =  8,
   pages =   {465--476},
   month =   aug,
   annote =  {Usato da Baader per la terminazione delle
completion rules; si
              puo usare anche per algoritmi in linguaggi
strutturati.},
}
@book{mannila:raiha:93,
   author =    {H[eikki] Mannila and K[ari-Jouko] R\"{a}ih\"{a}},
   title =     {The design of relational databases},
   publisher = {Addison-Wesley},
   year =      "1993",
   pages =     "120:121",
}
@inproceedings{constraints:satisfia,
   author =    {R. Manthey},
   title =     {Satisfiability of Integrity Constraints:
Reflections on a
                Neglected Problem},
   booktitle = {Int. Workshop on Foundations of Models and
Languages for Data and
                Objects},
   address =   {Aigen, Austria},
   month =     sep,
   year =      "1990",
}
@inproceedings{constraints:satchmo,
   author =    {R. Manthey and F. Bry},
   title =     {{SATCHMO}: a theorem prover implemented in
prolog},
   booktitle = {CADE 88 - 9th Conference on Automated Deduction},
   publisher = {Springer-Verlag - LNCS},
   year =      "1988",
   note =      {ECRC Tech. Rep. KB-21, Nov. 87},
}
@incollection{MARC88,
   author =    {S. Marcus},
   title =     {{SALT}: {A} Knowledge Acquisition tool for
Propose-and-Revise
                Systems},
   booktitle = {Automatic Knowledge Acquisition for Expert
Systems},
   editor =    {S. Marcus},
   publisher = {Kluwer Academic Publishers},
   address =   {Boston},
   year =      "1988",
}
@article{logic:recursive,
   author =  {J. Minker and J. M. Nicholas},
   title =   {On Recursive Axiom in Deductive Databases},
   journal = {Information Systems},
   volume =  8,
   number =  1,
   pages =   {1--13},
   year =    "1983",
}
@inproceedings{MHWC90,
   author =    {C. Mohan and D. Haderle and Y. Wang and J.
Cheng},
   title =     {Single table access using multiple indexes:
optimization,
                execution and concurrency control techniques},
   booktitle = {Advances in Database Technology - EDBT '90},
   editor =    {F. Bancilhon and C. Thanos and D. Tsichritzis},
   pages =     {29--43},
   publisher = {Springer-Verlag},
   month =     mar,
   year =      "1990",
}
@inProceedings{moro:natali:sartori:coopis98,
   author =    {G. Moro and A. Natali and C. Sartori},
   title =     {Data Access Services and Automatic Generation of
Cooperating
                Interfaces},
   booktitle = {Third IFCIS Conference on Cooperative
Information Systems
                (CoopIS'98)},
   year =      "1998",
   tipobib = 5,
}
@inProceedings{moro:sartori:taboo96,
   author =    {G. Moro and C. Sartori},
   title =     {Java e DBMS: una soluzione per la distribuzione
di servizi
                DBMS su rete geografica},
   booktitle = {Oggetti e ambienti distribuiti:
                stato dell'arte e alcuni casi applicativi},
   year =      "1996",
   organization = {TABOO},
   tipobib = 6
}
@article{Motro94,
   author =  {A. Motro},
   title =   {Intensional answers to database queries},
   journal = {IEEE Trans. on Knowledge and Data Engineering},
   volume =  6,
   pages =   {444--454},
   number =  3,
   year =    "1994",
}
@article{MBW80,
   author =  {J. Mylopoulos and P. A. Bernstein and H. K. T.
Wong},
   title =   {A language facility for designing
database-intensive applications},
   journal = {ACM Trans. on Database Systems},
   volume =  5,
   number =  2,
   pages =   {185--207},
   year =    "1980",
}
@inCollection{navathe:ahmed:93,
   author =    {S. Navathe and R. Ahmed},
   title =     {Temporal Extensions to the Relational Model and
{SQL}},
   chapter = 4,
   crossref = {temporal:databases:93},
   pages = "92-109",
}
@incollection{nebel:cycles:propert,
   author =    {B. Nebel},
   editor =    {J. F. Sowa},
   booktitle = {Principles of Semantic Networks},
   title =     {Terminological Cycles: Semantics and
Computational Properties},
   chapter =   11,
   pages =     {331--362},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {San Mateo, Cal. USA},
   year =      "1991",
}
@inbook{nebel:attributive,
   author =    {B. Nebel and G. Smolka},
   editor =    {O. Herzog and C. Rollinger},
   title =     {Attributive Description Formalisms ... and the
Rest of the World},
   publisher = {Springer-Verlag},
   address =   {Berlin, Germany},
   year =      "1991",
}
@article{NEBE89,
   author =  {B. Nebel},
   title =   {Terminological reasoning is inherently
intractable},
   journal = {Artificial Intelligence},
   volume =  43,
   number =  2,
   year =    "1990",
}
@book{NEBE89a,
   author =    {B. Nebel},
   title =     {Reasoning and Revision in Hybrid Representation
Systems},
   publisher = {Springer-Verlag},
   series =    {Lecture Notes in Artificial Intelligence},
   address =   {Berlin, Heidelberg, New York},
   volume =    422,
   year =      "1990",
}
@techreport{NP91,
   author =      {B. Nebel and C. Peltason},
   title =       {Terminological Reasoning and Information
Management},
   institution = {KIT - Tech. Univ},
   number =      85,
   month =       oct,
   address =     {Berlino},
   year =        "1990",
}
@incollection{NS90,
   author =    {B. Nebel and G. Smolka},
   title =     {Representation and reasoning with attributive
descriptions},
   booktitle = {Sorts and Types in Artificial Intelligence},
   editor =    {K. Blasius and U. Hedtstueck and C. R.
Rollinger},
   pages =     {112--139},
   publisher = {Springer Verlag},
   year =      "1990",
   series =    {Lecture Notes in Artificial Intelligence},
   volume =    418,
}
@inproceedings{NEBE89b,
   author =    {B. Nebel},
   title =     {A Knowledge Level Analysis of Belief Revision},
   booktitle = {Principles of Knowledge Representation and
Reasoning},
   editor =    {R. J. Brachman and H. J. Levesque and R. Reiter},
   pages =     {301--311},
   publisher = {Morgan Kaufmann Publishers Inc.},
   address =   {San Mateo, CA},
   month =     may,
   year =      "1989",
   note =      {Toronto, CAN},
}
@article{NEBE88,
   author =  {B. Nebel},
   title =   {Computational Complexity of Terminological
Reasoning in {BACK}},
   journal = {Artificial Intelligence},
   volume =  34,
   number =  3,
   pages =   {371--383},
   year =    "1988",
}
@Article{novikov55,
  author =   {P. S. Novikov},
  title =    {On the algorithmic unsolvability of the word
problem in group theory},
  journal =      {Trudy Mat. Instituta imeni V.A.Steklova},
  year =     1955,
  volume =   44,
  pages =    143,
  note =     {Russian}
}
@inproceedings{query:optim:pang,
   author =    {H. H. Pang and H. Lu and B. C. Ooi},
   title =     {An Efficient Semantic Query Optimization
Algorithm},
   booktitle = {Int. Conf. on Data Engineering},
   pages =     {326--335},
   year =      "1991",
}
@techReport{TSIMMIS:mediator3,
   author =      {Y. Papakonstantinou and H. Garcia-Molina and
J. Ullman},
   title =       {Medmaker: A mediation system based on
declarative specification},
   institution = {Stanford University},
   year =        "1995",
   note = {ftp://db.stanford.edu /pub/papakonstantinou/1995/
medmaker.ps},
}
@inproceedings{PATE86,
   author =    {P. F. Patel-Schneider},
   title =     {A four-valued semantics for frame-based
description languages},
   booktitle = {AAAI},
   pages =     {344--348},
   year =      "1986",
}
@inproceedings{PATE84,
   author =    {P. F. Patel-Schneider},
   title =     {Small can be beautiful in knowledge
representation},
   booktitle = {Workshop on Principles of Knowledge-Based
Systems},
   pages =     {11--16},
   address =   {Denver - Colorado},
   month =     dec,
   year =      "1984",
}
@techreport{PATE84a,
   author =  {P. F. Patel-Schneider},
   title =   {Small can be beautiful in knowledge
representation},
   number =  37,
   month =   jan,
   year =    "1984",
}
@article{PRZ91,
   author =  {A. Pirotte and D. Roeleants and E. Zimanyi},
   title =   {Controlled Generation of Intensional Answers},
   journal = {IEEE Transactions on Knowledge and Data
Engineering},
   volume =  3,
   number =  2,
   month =   jun,
   year =    "1991",
}
@unpublished{porta:sartori:datacube97,
   author = {Matteo Porta and Claudio Sartori},
   title =  {An Implementation of the Data Cube Operator},
   note =   {In preparation},
}
@article{post47,
   author =  {Emil L. Post},
   title =   {Recursive unsolvability of a problem of {Thue}},
   journal = jsl,
   volume =  12,
   pages =   {1--11},
   year =    "1947",
}
@article{PF88,
   author =  {S. Pramanik and F. Fotouhi},
   title =   {Optimizing the cost of relational queries using
partial-relation
              schemes},
   journal = {Inform. Systems},
   volume =  13,
   number =  1,
   pages =   {71--79},
   year =    "1988",
}
@inproceedings{PP91,
   author =    {G. M. Provan and D. Poole},
   title =     {The Utility of Consistency-Based Diagnostic
Techniques},
   booktitle = {Principles of Knowledge Representation and
Reasoning},
   editor =    {J. Allen and R. Fikes and E. Sandewall},
   pages =     {461--472},
   publisher = {Morgan Kaufmann Publisher},
   address =   {Cambridge - MA - USA},
   month =     apr,
   year =      "1991",
}
@techReport{idef1x,
   author =      {Federal Information Processing Standard
Publication},
   title =       {Integration Definition for Function Modeling
(IDEF1X)},
   institution = {National Institute of Standards and
Technology},
   year =        "1993",
   number = "183",
   address = {Gaithersburg, Md. 20899},
}
@article{REIT87,
   author =  {R. Reiter},
   title =   {A theory of Diagnosis from First Principles},
   journal = {Artificial Intelligence},
   volume =  32,
   pages =   {57--95},
   year =    "1987",
}
@incollection{REIT84,
   author =    {R. Reiter},
   title =     {Towards a logical reconstruction of relational
database theory},
   booktitle = {On Conceptual Modelling},
   editor =    {M. L. Brodie and J. Mylopoulos and J. W.
Schmidt},
   pages =     {191--233},
   publisher = {Springer-Verlag},
   year =      "1984",
}
@article{RPD89,
   author =  {L. L. Rodi and J. A. Pierce and R. E. Dalton},
   title =   {Putting the Expert in Charge: Graphical Knowledge
Acquisition for
              Fault Diagnosis and Repair},
   journal = {SIGART Newsletter},
   number =  108,
   pages =   {56--62},
   month =   apr,
   year =    "1989",
}
@inproceedings{Rosenkrantz80,
   author =    {D. J. Rosenkrantz and H. B. Hunt},
   title =     {Processing Conjunctive Predicates and Queries},
   booktitle = {Proc. Int'l. Conf. on Very Large Data Bases},
   pages =     {64--72},
   address =   {Montreal, Canada},
   month =     oct,
   year =      "1980",
   keywords =  {VLDB},
}
@article{SS91,
   author =      {C. Sartori and M. R. Scalas},
   title =       {Partial indexing for non-uniform data
distributions in relational
                  {DBMSs}},
   journal =     {IEEE Trans. on Knowledge and Data Engineering},
   institution = {IEEE Computer Society},
   volume =      16,
   number =      3,
   pages =       {420-429},
   year =        "1994",
   tipobib =     1,
}
@inproceedings{SS85,
   author =    {C. Sartori and M. R. Scalas},
   title =     {An access method adaptable to irregular data
distributions for
                relational {DBMS}s},
   booktitle = {The Role of Data in Scientific Progress - 9th
                {CODATA} Conf. -
                Israel - Jun. 1984},
   editor =    {P. Gleaser},
   pages =     {369--372},
   publisher = {Elsevier Science Publishers B.V.
(North-Holland)},
   address =   {Amsterdam},
   year =      "1985",
   tipobib =   5,
}
@phdthesis{tesi:sbattella,
   author =  {L. Sbattella},
   title =   {Un modello a oggetti per la progettazione
concettuale e
              l'interrogazione di basi di dati con propriet\`a
spaziali},
   school =  {Politecnico di Milano},
   address = {Milano},
   year =    "1990",
}
@inproceedings{SR91,
   author =    {M. R. Scalas and F. Rigamonti},
   title =     {Transaction Models in Advanced {DBMS}s},
   booktitle = {COMPEURO '91},
   address =   {Bologna, Italy},
   month =     may,
   year =      "1991",
}
@article{STR91,
   author =  {M. R. Scalas and P. Tiberio and M. Rolli},
   title =   {Il tempo nelle basi di dati: aspetti
architetturali},
   journal = {Rivista di informatica},
   year =    "1991",
   note =    {toappear},
}
@incollection{SCAL90,
   author =    {M. R. Scalas},
   title =     {Il tempo nelle basi di dati},
   booktitle = {Scritti in omaggio a Luciano Daboni},
   publisher = {Lindt},
   year =      "1990",
}
@inproceedings{STR90,
   author =    {M. R. Scalas and P. Tiberio and M. Rolli},
   title =     {Performance evaluation of different relational
database schemes
                with time support},
   booktitle = {Prometheus Proceedings of the 3rd Workshop},
   address =   {Torino,},
   month =     apr,
   year =      "1990",
}
@incollection{ST85,
   author =    {M. R. Scalas and P. Tiberio},
   title =     {Valutazione dei costi ed ottimizzazione delle
interrogazioni nei
                sistemi di gestione di basi di dati relazionali},
   booktitle = {Le Basi di Dati},
   editor =    {P. Tiberio},
   publisher = {Masson},
   year =      "1985",
}
@article{ST83,
   author =  {M. R. Scalas and P. Tiberio},
   title =   {Il metodo nested block nella esecuzione dei joins},
   journal = {Rivista di Informatica},
   volume =  8,
   number =  3,
   year =    "1983",
}
@inproceedings{ST83B,
   author =    {M. R. Scalas and P. Tiberio},
   title =     {The use of the nested block method for computing
joins.},
   booktitle = {COMPSAC},
   pages =     {455--463},
   address =   {Chicago},
   year =      "1983",
}
@article{SS86,
   author =  {H. Schek and M. Scholl},
   title =   {The Relational Model with Relation-valued
Attributes},
   journal = {Information Systems},
   volume =  11,
   number =  2,
   pages =   {137--147},
   year =    "1986",
}
@inproceedings{schild:kr-94,
   author =    {K. Schild},
   title =     {Terminological Cycles and the Propositional
$\mu$ calculus},
   booktitle = {4th Int. Conf. on Principles of Knowledge
Representation and
                Reasoning},
   year =      "1994",
   pages =     {509--520},
   editor =    {J. Doyle and E. Sandewall and P. Torasso},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {Bonn, Germany},
}
@article{ST85B,
   author =  {M. Schkolnick and P. Tiberio},
   title =   {Estimating the cost of updates in a relational
database},
   journal = {ACM Trans. on Database Systems},
   volume =  10,
   number =  2,
   year =    "1985",
}
@book{SCHM86,
   author =    {D. A. Schmidt},
   title =     {Denotational Semantics: {A} Methodology for
Language Development},
   publisher = {Allyn and Bacon},
   address =   {Boston},
   year =      "1986",
}
@article{SS88,
   author =  {M. Schmidt-Schauss and G. Smolka},
   title =   {Attributive concept descriptions with unions and
complements},
   journal = {Artificial Intelligence},
   volume =  48,
   number =  1,
   year =    "1991",
}
@inproceedings{SCH89,
   author =    {M. Schmidt-Schauss},
   title =     {Subsumption in {KL-ONE} is undecidable},
   booktitle = {KR '89 - 1st Int. Conf. on Principles of
Knowledge Representation
                and Reasoning},
   editor =    {R. J. Brachman and H. J. Levesque and R. Reiter},
   pages =     {421--431},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {Toronto - Canada},
   month =     may,
   year =      "1989",
}
@inproceedings{SCHM89,
   author =    {J. G. Schmolze},
   title =     {Terminological knowledge representation systems
supporting n-ary
                term},
   booktitle = {1st Int. Conf. on Principles of Knowledge
Representation and
                Reasoning},
   editor =    {R. J. Brachman and H. Levesque and R. Reiter},
   pages =     {432--443},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   address =   {Toronto},
   month =     may,
   year =      "1989",
}
@incollection{SI83,
   author =    {J. G. Schmolze and D. J. Israel},
   title =     {{KL-ONE}: semantics and classification},
   booktitle = {Research in Knowledge representation and Natural
Language},
   publisher = {Bolt, Beranek and Newman},
   address =   {Cambridge - Massachusset},
   year =      "1983",
   note =      {BBN Tech. Rep. N.5421},
}
@article{SKK91,
   author =  {E. N. Schwartz and G. Kiernan and A. Koltun},
   title =   {Response to Are Complete {K}-Trees Something More
than Decision
              Trees},
   journal = {ACM SIGART Bulletin},
   volume =  2,
   number =  4,
   pages =   4,
   year =    "1991",
}
@article{SCHW90,
   author =  {E. N. Schwartz},
   title =   {Using Complete {K}-Trees to Generate Code in
Pascal for an Expert
              System},
   journal = {ACM SIGART Bulletin},
   volume =  1,
   number =  2,
   pages =   {12--13},
   year =    "1990",
}
@inproceedings{SELI79,
   author =    {P. Selinger},
   title =     {Access path selection in a relational database
system},
   booktitle = {SIGMOD Conference},
   pages =     {23--34},
   address =   {Boston},
   month =     may,
   year =      "1979",
}
@article{SELL88,
   author =  {T. K. Sellis},
   title =   {Intelligent caching and indexing techniques for
relational
              database systems},
   journal = {Inform. Syst.},
   volume =  13,
   number =  2,
   pages =   {175--185},
   year =    "1988",
}
@article{query:optim:shenoy2,
   author =  {S. Shenoy and M. Ozsoyoglu},
   title =   {Design and Implementation of a Semantic Query
Optimizer},
   journal = {IEEE Trans. Knowl. and Data Engineering},
   volume =  1,
   number =  3,
   pages =   {344--361},
   month =   sep,
   year =    "1989",
}
@article{query:optim:shenoy,
   author =  {S. Shenoy and M. Ozsoyoglu},
   title =   {A system for semantic query optimization},
   journal = {ACM-SIGMOD},
   pages =   {181--195},
   month =   may,
   year =    "1987",
}
@article{quey:optim:sheu,
   author =  {P. C. Sheu and R. L. Kashyap and S. Yoo},
   title =   {Query optimization in object-oriented knowledge
bases},
   journal = {Data \& Knowledge Engineering},
   volume =  3,
   pages =   {285--302},
   year =    "1989",
}
@article{SHIP81,
   author =  {D. W. Shipman},
   title =   {The functional data model and the data language
{DAPLEX}},
   journal = {ACM Trans. on Database Systems},
   volume =  6,
   number =  1,
   pages =   {140--173},
   year =    "1981",
}
@inProceedings{S+93,
   author =    {K. Shoens and others},
   title =     {The rufus system: Information organization
                for semistructured data},
   booktitle = {Proc. VLDB Conference - Dublin, Ireland},
   year =      "1993",
}
@inproceedings{int:answ:shum,
   author =    {C. D. Shum and R. Muntz},
   title =     {Implicit representation for extensional answers},
   booktitle = {Proc. 2nd Int. Conf. on Expert Database Systems},
   year =      "1988",
   pages =     {257--273},
}
@inproceedings{SM88,
   author =    {C. Shum and R. Muntz},
   title =     {Implicit Representation for Extensional Answers},
   booktitle = {2nd Int. Conf. on Expert Database Systems},
   pages =     {257--273},
   address =   {Washington D.C.},
   year =      "1988",
}
@inproceedings{SK77,
   author =    {E. H. Sibley and L. Kershberg},
   title =     {Data architecture and data model considerations},
   booktitle = {Nat. Computer Conf.},
   pages =     {85--96},
   address =   {Dallas - Texas},
   year =      "1977",
}
@article{query:optim:siegel,
   author =  {M. Siegel and E. Sciore and S. Salveter},
   title =   {A Method for Automatic Rule Derivation to Support
Semantic Query
              Optimization},
   journal = {ACM Trans. on Database Systems},
   volume =  17,
   number =  4,
   pages =   {563--600},
   month =   dec,
   year =    "1992",
}
@inproceedings{SB91,
   author =    {H. T. Siegelman and B. R. Bradinath},
   title =     {Integrating Implicit Answers with
Object-Oriented Queries},
   booktitle = {17th Int. Conf. on Very Large Databases},
   pages =     {15--24},
   address =   {Barcelona},
   year =      "1991",
}
@inproceedings{implicit:answer:oodb,
   author =    {H. T. Siegelmann and B. R. Badrinath},
   title =     {Integrating Implicit Answers with
Object-Oriented Queries},
   booktitle = {Int. Conf. on Very Large Data Bases},
   year =      "1991",
}
@Article{slobodskoi81,
  author =   {A. M. Slobodskoi},
  title =    {Unsolvability of the universal theory of finite
groups},
  journal =      {Algebra and Logic},
  year =     1981,
  volume =   20,
  pages =    {139--156}
}
@article{SS77a,
   author =  {J. M. Smith and D. C. P. Smith},
   title =   {Database Abstractions: Aggregation and
Generalization},
   journal = {ACM Trans. on Database Systems},
   volume =  2,
   number =  2,
   pages =   {105--133},
   year =    "1977",
}
@article{SS77b,
   author =  {J. M. Smith and D. C. P. Smith},
   title =   {Database Abstractions: Aggregation},
   journal = {Communications of the ACM},
   volume =  20,
   number =  6,
   pages =   {405--413},
   year =    "1977",
}
@book{tableaux:smullyan,
   author =    {R. M. Smullyan},
   title =     {First-Order Logic},
   publisher = {Springer-Verlag},
   address =   {Berlin, Germany},
   year =      "1986",
}
@article{snodgrass:tods87,
   author =  {R. T. Snodgrass},
   title =   {The temporal query language {TQel}},
   journal = tods,
   volume =  12,
   number = 2,
   pages =   "247-298",
   year =    "1987",
   note =    {},
}
@book{SOWA84,
   author =    {J. F. Sowa},
   title =     {Conceptual Structures: Information Processing in
Mind and Machine},
   publisher = {Addison-Wesley},
   address =   {Reading, MA},
   year =      "1984",
}
@Article{stillwell82,
  author =   {John Stillwell},
  title =    {The word problem and the isomorphism problem for
groups},
  journal =      {Bull. of the American Mathematical Society},
  year =     1982,
  volume =   6,
  number =   1,
  month =    {jan},
  pages =    {33--56}
}
@book{obj-rel:libro,
   author =    {M. Stonebraker},
   title =     {Object Relational {DBMS}s},
   publisher = {Morgan Kaufmann Publishers},
   address =   {San Mateo, CA},
   year =      "1994",
}
@article{STON89,
   author =  {M. Stonebraker},
   title =   {The case for partial indexes},
   journal = {SIGMOD Records},
   volume =  18,
   number =  4,
   pages =   {4--11},
   month =   dec,
   year =    "1989",
}
@article{SWK76,
   author =  {M. Stonebraker and E. Wong and P. Kreeps},
   title =   {The design and implementation of {INGRES}},
   journal = {ACM Trans. on Database Systems},
   volume =  1,
   number =  3,
   pages =   {189--222},
   month =   sep,
   year =    "1976",
}
@inproceedings{Sun89,
   author =    {X. H. Sun and N. Kamel and L. Ni},
   title =     {Solving Implication Problems in Database
Applications},
   booktitle = {Proc. ACM SIGMOD Conf.},
   pages =     {185--192},
   address =   {Portland, OR},
   year =      "1989",
}
@article{TYF86,
   author =  {T. J. Teorey and D. Yang and J. P. Fry},
   title =   {A logical design methodology for relational
databases using the
              extended {Entity-Relationship} model},
   journal = {ACM Computing Surveys},
   volume =  18,
   number =  2,
   year =    "1986",
}
@inproceedings{TROY89,
   author =    {O. De Troyer},
   title =     {{RIDL}*: a tool for the computer-assisted
engineering of large
                databases in the presence of integrity
constraints},
   booktitle = {SIGMOD Record Vol.18 N.2},
   pages =     {418--429},
   publisher = {ACM Press},
   month =     jun,
   year =      "1989",
}
@book{libro:ullman,
   author =    {J. D Ullman},
   title =     {Principles of Database and Knowledge-Base
Systems},
   publisher = {Computer Science Press},
   address =   {Maryland - USA},
   volume =    1,
   year =      "1989",
}
@techReport{Corba,
   author =      {AA. VV.},
   title =       {The common object request broker: Architecture
and specification},
   year =        "1993",
   note = {Revision 1.2, Draft 29, December},
   institution = {Object Request Broker Task Force},
}
@article{VALI92,
   author =  {G. Valiente},
   title =   {Using Layered Support Graphs for Verifying
External Adequacy in
              Rule-Based Expert Systems},
   journal = {ACM SIGART Bulletin},
   volume =  3,
   number =  1,
   pages =   {20--24},
   year =    "1992",
}
@article{VALI91,
   author =  {G. Valiente},
   title =   {Are Complete {K}-Trees Someting More than Decision
Trees?},
   journal = {ACM SIGART Bulletin},
   volume =  2,
   number =  2,
   pages =   6,
   year =    "1991",
}
@inproceedings{VANT91,
   author =    {J. Vanthienen},
   title =     {Knowledge Acquisition and Validation Using a
Decision Table
                Enngineering Workbench},
   booktitle = {The World Congress on Expert Systems},
   pages =     {1861--68},
   address =   {Orlando - FL - USA},
   year =      "1991",
}
@inproceedings{VILA85,
   author =    {M. Vilain},
   title =     {The restricted language architecture of a hybrid
representation
                system},
   booktitle = {9th IJCAI Conf.},
   pages =     {547--551},
   year =      "1985",
}
@article{WWS84,
   author =  {K. Y. Wang and G. Wiederhold and D. Sagalowitz},
   title =   {Separability - An approach to physical database
design},
   journal = {IEEE Transactions on Computers},
   volume =  33,
   number =  3,
   pages =   {209--222},
   month =   mar,
   year =    "1984",
}
@article{weddel:tods-92,
   author =  {Grant E. Weddel},
   title =   {Reasoning about Functional Dependencies
Generalized for Semantic
              Data Models},
   journal = {ACM Trans. on Database Systems},
   volume =  17,
   number =  1,
   month =   mar,
   year =    "1992",
   pages =   {32--64},
}
@article{WWS83,
   author =  {K. Y. Whang and G. Wiederhold and D. Sagalowitz},
   title =   {Estimating block access in database organizations},
   journal = {Communications of the ACM},
   volume =  26,
   number =  11,
   pages =   {940--944},
   month =   nov,
   year =    "1983",
}
@BOOK{JIIS,
    AUTHOR        = "Gio Wiederhold et al.",
    TITLE         = "Integrating Artificial Intelligence and
Database Technology",
    BOOKTITLE     = "",
    EDITOR        = "",
    PUBLISHER     = "Journal of Intelligent Information Systems",
    VOLUME        = "2/3",
    MONTH         = "June",
    YEAR          = "1996"}

@MISC{ARPA,
    AUTHOR        = "R. Hull and R. King et al.",
    TITLE         = "ARPA I$^{3}$ Reference Architecture",
    YEAR          = "1995",
    NOTE          = "Available at
http://www.isse.gmu.edu/I3\_Arch/index.html "}

@article{Wiederhold:92,
   author =  {G. Wiederhold},
   title =   {Mediators in the architecture of future
information systems},
   journal = {IEEE Computer},
   volume =  25,
   pages =   {38--49},
   year =    "1992",
}
@incollection{klone:family,
   author =    {W. A. Woods and J. G. Schmolze},
   title =     {The {KL}-{ONE} family},
   booktitle = {Semantic Networks in Artificial Intelligence},
   editor =    {F. W. Lehman},
   publisher = {Pergamon Press},
   pages =     {133--178},
   year =      "1992",
   note =      {Pubblished as a Special issue of {\em Computers
\& Mathematics
                with Applications}, Volume 23, Number 2-9},
}
@article{YAO79,
   author =  {S. B. Yao},
   title =   {Optimization of query evaluation algorithms},
   journal = {ACM Trans. on Database Systems},
   volume =  4,
   number =  2,
   year =    "1979",
}
@article{YAO77,
   author =  {S. B. Yao},
   title =   {Approximating block access in database
organizations},
   journal = {Communications of the ACM},
   volume =  20,
   number =  4,
   pages =   {260--261},
   month =   apr,
   year =    "1977",
}
@article{VTB87,
   author =  {B. T. Vander Zanden and H. M. Taylor and D.
Bitton},
   title =   {A general framework for computing block accesses},
   journal = {Information Systems},
   volume =  12,
   number =  2,
   pages =   {177--190},
   year =    "1987",
}
@article{ZRT90,
   author =  {P. Zezula and F. Rabitti and P. Tiberio},
   title =   {Dynamic partitioning of signature files},
   journal = {ACM Transactions on Information Systems},
   year =    "1990",
   note =    {CIOC-CNR N.73-11/90},
}
@article{query:oodb:ozsu,
   author =  {D. D. Straube and T. $\ddot{O}$zsu},
   title =   {Queries and Query Processing in Object-Oriented
Database Systems},
   journal = {ACM Trans. on Information Systems},
   volume =  8,
   number =  4,
   pages =   {387--430},
   month =   oct,
   year =    "1990",
}
@proceedings{sebd94,
   title =     {Secondo Convegno Nazionale su Sistemi Evoluti
per Basi di Dati},
   editor =    {S. Bergamaschi and C. Sartori and P. Tiberio},
   publisher = {Progetto Leonardo},
   address =   {Bologna - Italy},
   month =     jun,
   year =      "1994",
   tipobib =   4,
}
@book{temporal:databases:93,
   editor =    {A. U. Tansel and others},
   title =     {Temporal databases: theory, design and
implementations},
   publisher = {Benjamin Cummings},
   year =      "1993",
}
@article{query:optim:yoon,
   author =  {S.C.  Yoon and I.Y.  Song and E.K. Park},
   title =   {Semantic Query Processing in Object-Oriented
Databases Using Deductive Approach},
   journal = {ACM-CIKM},
   pages =   {150--157},
   year =    "1995",
}



@Article{Lecluse:1988:OOD,
  author =       "C. Lecluse and P. Richard and F. Velez",
  title =        "O2, an object-oriented data model",
  journal =      "SIGMOD Record (ACM Special Interest Group on
                 Management of Data)",
  volume =       "17",
  number =       "3",
  pages =        "424--433",
  month =        sep,
  year =         "1988",
  coden =        "SRECD8",
  ISSN =         "0163-5808",
  bibdate =      "Mon Dec 9 16:00:40 MST 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "GIP Altair, Le Chesnay, France",
  classification = "C4250 (Database theory); C6160 (Database
management
                 systems (DBMS))",
  keywords =     "O2; Object-oriented data model; Altair group;
                 Data base system; Type system; Set-and-tuple
data
                 model; Inheritance mechanism; Strong typing",
  thesaurus =    "Data structures; Database management systems;
Database
                 theory",
}

@Article{Cardelli88b,
  key =          "Cardelli",
  author =       "Luca Cardelli",
  title =        "A Semantics of Multiple Inheritance",
  journal =      "Information and Computation",
  volume =       "76",
  number =       "2/3",
  month =        feb # "/" # mar,
  year =         "1988",
  pages =        "138--164",
}


@Article{Castagna:1995:CCC,
  author =       "Giuseppe Castagna",
  title =        "Covariance and Contravariance: Conflict
without a
                 Cause",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "17",
  number =       "3",
  pages =        "431--447",
  month =        may,
  year =         "1995",
  coden =        "ATPSDT",
  ISSN =         "0164-0925",
}

@Article{America-Linden90,
  key =          "America \& van der Linden",
  author =       "Pierre America and Frank van der Linden",
  title =        "A Parallel Object-Oriented Language with
Inheritance
                 and Subtyping",
  journal =      "ACM SIGPLAN Notices",
  volume =       "25",
  number =       "10",
  month =        oct,
  year =         "1990",
  pages =        "161--168",
  note =         "{\em OOPSLA ECOOP '90 Proceedings}, N.
Meyrowitz
                 (editor).",
  annote =       "26 references.",
}

@Article{Bertino:1991:ODM,
  author =       "Elisa Bertino and Lorenzo Martino",
  title =        "Object-Oriented Database Management Systems:
Concepts
                 and Issues",
  journal =      "Computer",
  volume =       "24",
  number =       "4",
  pages =        "33--47",
  month =        apr,
  year =         "1991",
  coden =        "CPTRB4",
  ISSN =         "0018-9162",
  affiliation =  "Dept. of Math., Genova Univ., Italy",
  journalabr =   "Computer",
}

@Book{Bancilhon-Delobel-Kanellakis92,
  author =       "Fran\c{c}ois Bancilhon and Claude Delobel and
Paris
                 Kanellakis (eds.)",
  title =        "Implementing an Object-Oriented database
system: The
                 story of {O}$_{2}$",
  publisher =    "Morgan Kaufmann",
  year =         "1992",
}

@BOOK{mansiemens,
    AUTHOR        = "Siemens",
    TITLE         = "Manuale della bassa tensione: guida alla
scelta degli
                     apparecchi di manovra e di protezione per
impianti
                     elettrici",
    BOOKTITLE     = "",
    EDITOR        = "",
    PUBLISHER     = "Tecniche nuove",
    YEAR          = "1993"}

@INPROCEEDINGS{BW86,
    AUTHOR        = "Kim B. Bruce and P. Wegner",
    TITLE         = "An algebraic Model of Subtypes in
Object-Oriented
                     Languages",
    BOOKTITLE     = "SIGPLAN Notices",
    PAGES         = "163-172",
    PUBLISHER     = "",
    YEAR          = "1986"}

@MISC{tesi:riccio,
    AUTHOR        = "S. Riccio",
    title =   {Elet-Designer: uno strumento intelligente
orientato agli
              oggetti per la progettazione di impianti elettrici
industriali},
    HOWPUBLISHED  = "Tesi di Laurea, Dipartimento di Scienze
dell'Ingegneria,
                      Universit\`a degli Studi di Modena",
    YEAR          = "1998"}
@MISC{tesi:riccio2,
    AUTHOR        = "S. Riccio",
    title =   {Elet-Designer: uno strumento intelligente
orientato agli
              oggetti per la progettazione di impianti elettrici
industriali},
    HOWPUBLISHED  = "Tesi di Laurea, DSI, Universit\`a di
Modena",
    YEAR          = "1998"}
@INPROCEEDINGS{SR97,
    AUTHOR        = "F. Saltor and E. Rodriguez",
    TITLE         = "On Intelligent Access to Heterogeneous
Information",
    BOOKTITLE     = "Proceedings of the 4th KRDB Workshop",
    ADDRESS       = "Athens, Greece",
    MONTH         = "August",
    YEAR          = "1997"}

@TECHREPORT{guarino1,
    AUTHOR        = "N.Guarino",
    TITLE         = "Semantic Matching: Formal Ontological
Distinctions
for Information Organization, Extraction, and Integration",
    INSTITUTION   = "Summer School on Information Extraction",
    ADDRESS       = "Frascati, Italy",
    MONTH         = "July",
    YEAR          = "1997"}

@MISC{guarino2,
    AUTHOR        = "N.Guarino",
    TITLE         = "Understanding, Building, and Using
Ontologies",
    NOTE          = "A commentary to 'Using Explicit Ontologies
in KBS
          Development', by van Heijst, Schreiber, and Wielinga"}


@InProceedings{abICDT97,
  author =       "S. Abiteboul",
  title =        "Querying semi-structured data",
  BOOKTITLE     = "Proceedings of the International Conference
on Database
                 Theory, {ICDT97}",
  ADDRESS       = "Athens, Greece",
  pages =        "1-18",
  year =         "1997"
}

@InProceedings{buneman,
  author =       " P. Buneman and S. Davidson and M. Fernandez
and D.  Suciu",
  title =        "Adding Structure to Unstructured Data",
  BOOKTITLE     = "Proc. of ICDT 1997",
  ADDRESS       = "Delphi, Greece",
  pages =        "336-350",
  year =         "1997"
}


@InProceedings{buneman1,
 author =       " P. Buneman",
   title =        "Semistructured Data",
  BOOKTITLE     = "Proc. of 1997 Symposium on Principles of
                 Database Systems (PODS97)",
  ADDRESS       = "Tucson, Arizona",
  pages =        "117-121",
  year =         "1997"
}

@TECHREPORT{reportMI,
  title =       "Global Viewing of Heterogeneous Data Sources",
  author =       "S. Castano and V. De Antonellis and S. De
Capitani Di Vimercat",
    INSTITUTION   = "Dip. Elettronica e Informazione,
Politecnico di Milano",
    number =       "98-08",
    ADDRESS       = "Milano, Italy",
    YEAR          = "1998"}


@article{ist97,
   author =  {S. Castano and V. De Antonellis},
   title =   {Engineering a Library of Reusable Conceptual
Components},
   journal = {Information and Software Technology},
   volume =  {39},
   pages =   {65-76},
   year =    "1997",
}

@InProceedings{fois,
  author =       "S. Bergamaschi and S. Castano and S. De
Capitani di Vimercati and S. Montanari and M. Vincini",
  title =        "An Intelligent Approach to Information
Integration",
  booktitle =    "Proceedings of the International Conference on
Formal
Ontology in Information Systems (FOIS'98)",
  month =        "june",
  address =      "Trento, Italy",
  year =         "1998",
}

@inproceedings{sebd98,
   author =    {S. Bergamaschi and S. Castano and S. De Capitani
di Vimercati and S. Montanari and M. Vincini},
   title =     {Exploiting Schema Knowledge for the Integration
of
                Heterogeneous Sources},
   booktitle = {Sesto Convegno Nazionale su Sistemi Evoluti per
Basi di Dati -
                {SEBD98}, Ancona},
   year =      "1998",
   pages =     {103-122},
   tipobib =   6,
}

@inproceedings{aiia98,
   author =    {S. Bergamaschi and S. Castano and S. De Capitani
di Vimercati and S. Montanari and M. Vincini},
   title =     {A Semantic Approach to Information Integration:
the MOMIS project},
   booktitle = {Sesto Convegno della Associazione Italiana per
l'Intelligenza Artificiale {AI*IA98}, Padova},
   year =      "1998",
   pages =     {78-82},
   tipobib =   6,
}

@article{sigmod99,
   author =  {S. Bergamaschi and S. Castano and M. Vincini},
   title =   {Semantic  Integration of Semistructured and
Structured Data Sources},
   journal = {SIGMOD Records},
   volume =  28,
   number =  1,
   month =   "March",
   year =    "1999",
}

@techReport{interdata98-2,
   author =      {S. Bergamaschi and D. Beneventano and S.
Castano and M. Vincini},
   title =       {Integrazione di informazione: il linguaggio
$ODL_I^3$ e la logica descrittiva OLCD},
   institution = {MURST 40\%},
   year =        "1998",
   number = "INTERDATA T3-R03",
   note = {http://bsing.ing.unibs.it/~deantone/interdata\_tema3/}
}

@techReport{interdata98-1,
   author =      {S. Bergamaschi and D. Beneventano and M.
Vincini},
   title =       {Stato dell'arte della ricerca nell'ambito
dell'estrazione/integrazione intelligente di informazioni},
   institution = {MURST 40\%},
   year =        "1998",
   number = "INTERDATA T3-R01",
   note = {http://bsing.ing.unibs.it/~deantone/interdata\_tema3/}
}

@Booklet{odbtools,
  author =    {ODB-Tools staff},
  title =     {ODB-Tools {P}roject},
  NOTE = {Available at http://sparc20.dsi.unimo.it},
}

@inproceedings{goldman,
   author =    {R. Goldman and J. Widom},
   title =     {DataGuides: Enabling Query Formulation and
Optimization in Semistructured Data},
   booktitle = {23rd VLDB Int. Conf.},
   year =      "1997",
}

@inproceedings{er97,
   author =    {S. Castano and V. De Antonellis},
   title =     {Deriving Global Conceptual Views from Multiple
Information Sources},
   booktitle = {preProc. of ER'97 Preconference Symposium on
Conceptual Modeling, Historical Perspectives and Future
Directions},
   year =      "1997",
}

@article{lenz1,
   author =  {T. Catarci and M. Lenzerini},
   title =   {Representing and using interschema knowledge in
cooperative information systems},
   journal = {Journal of Intelligent and Cooperative Information
Systems},
   volume =  {2(4)},
   pages =   {375-398},
   year =    "1993",
}

@book{everitt,
   author = {B. Everitt},
   title =     {Computer-Aided Database Design: the {DATAID}
Project},
   publisher = {Heinemann Educational Books Ltd, Social Science
Research Council},
   year =      "1974",
}

@inproceedings{suciu,
   author =    {P. Buneman and S. Davidson and G. Hillebrand and
D. Suciu},
   title =     {A Query Language and Optimization Techniques for
Unstructured Data},
   booktitle = {Proc. of the ACM SIGMOD International
Conference},
   pages =     {505--516},
   publisher = {ACM Press},
   year =      "1996",
}

@article{sheth-larson,
   author =  {A.P. Sheth and J.P. Larson},
   title =   {Federated Database Systems for Managing
Distributed, Heterogeneous, and Autonomous Databases},
   journal = {ACM Computing Surveys},
   volume =  {22},
   number = "3",
   year =    "1990",
}

@article{reddy,
   author =  {M.P. Reddy and B.E. Prasad and P.G. Reddy and A.
Gupta},
   title =   {A Methodology for Integration of Heterogeneous
Databases},
   journal = {IEEE Trans. on Knowledge and Data Engineering},
   volume =  {6},
   number = "6",
   pages =     {920--933},
   year =    "1994",
}

@inproceedings{clifton,
   author =    {C. Clifton and E. Housman and A. Rosenthal},
   title =     {Experience with a Combined Approach to
Attribute-Matching Across Heterogeneous Databases},
   booktitle = {Proc. of IFIP DS-7 Data Semantics Conf.},
   year =      "1997",
}

@article{fankhauser,
   author =  {P. Fankhauser and M. Kracker and E.J. Neuhold},
   title =   {Semantic vs.  Structural Resemblance of Classes},
   journal = {SIGMOD RECORD},
   volume =  {20},
   number = "4",
   pages =     {59-63},
   year =    "1991",
}

@article{ssm,
   author =  {M.W. Bright and A.R. Hurson and S. Pakzad},
   title =   {Automated Resolution of Semantic Heterogeneity in
Multidatabases},
   journal = {ACM Transactions on Database Systems},
   volume =  {19},
   number = "2",
   pages =     {212-253},
   year =    "1994",
}

@article{blanco,
   author =  {J.M. Blanco and A. Illarramendi and A. Goni},
   title =   {Building a Federated Relational Database System:
An Approach Using a Knowledge-Based System},
   journal = {Int. Journal of Intelligent and Cooperative
Information Systems},
   volume =  {3},
   number = "4",
   pages =     {415-455},
   year =    "1994",
}

@inproceedings{lro96a,
   author =    {A. Y. Levy and A. Rajaraman and J. J. Ordille},
   title =     {Querying Heterogeneous Information Sources Using
Source Descriptions},
   booktitle = {Proc. of VLDB 1996},
   pages =     {251-262},
   year =    "1996",
}

@inproceedings{lro96b,
   author =    {A. Y. Levy and A. Rajaraman and J. J. Ordille},
   title =     {Query-Answering Algorithms for Information
Agents},
   booktitle = {AAAI/IAAI},
   volume =  {1},
   pages =     {40-47},
   year =    "1996",
}

@inproceedings{IM95,
   author =    {T. Kirk and A. Y. Levy and Y. Sagiv and D.
Srivastava},
   title =     {The Information Manifold},
   booktitle = {In Working Notes of the AAAI Spring Symposium on
Information Gathering from Heterogeneous},
   year =    "1995",
}

@inproceedings{Ull97,
   author =    {J. D. Ullman},
   title =     {Information integration using logical views},
   booktitle = {Intl.  Conf on Database Theory},
   pages =    "19-40",
   year =    "1997",
}

@article{Tt90,
   author =  {Thomas et al.},
   title =   { Heterogeneous distributed database systems for
production use},
   journal = {ACM Computing Surveys},
   volume =  {22},
   number = "3",
   pages =     {237-266},
   year =    "1990",
}

@article{LMR90,
   author =  {W. Litwin and L. Mark and N. Roussopoulos},
   title =   {Interoperability of multiple autonomous databases},
   journal = {ACM Computing Surveys},
   volume =  {22},
   pages =     {267-293},
   year =    "1990",
}

@inproceedings{Hull97,
   author =    {R. Hull},
   title =     {Managing Semantic Heterogeneity in Databases: A
Theoretical Perspective},
   booktitle = {ACM Symp. on Principles of Database Systems},
   pages =    "51-61",
   year =    "1997",
}

@inproceedings{infomaster1,
   author =    {M. R. Genesereth and A. M. Keller and O.
Duschka},
   title =     {Infomaster: An Information Integration System},
   booktitle = {Proceedings of 1997 ACM SIGMOD Conference},
   year =    "1997",
}

@inproceedings{infomaster2,
   author =    {O. M. Duschka and M. R. Genesereth},
   title =     {Infomaster - An Information Integration Tool},
   booktitle = {Proceedings of the International Workshop
                \emph{Intelligent Information Integration}
                 during the 21st German
                Annual Conference on Artificial Intelligence, KI-97 },
   year =    "1997",
}

@article{tods,
   author =  {S. Castano and V. De Antonellis and M.G. Fugini
             and B. Pernici},
   title =   {Conceptual Schema Analysis: Techniques and
Applications},
  journal =      {ACM Transactions on Database Systems},
  pages =    {286-332},
  year =     {1998},
  volume =   {23(3)},
}

@article{abi97,
   author =  {S. Nestorov and S. Abiteboul and R. Motwani},
   title =   {Inferring Structure in Semistructured Data},
   journal = {SIGMOD Record},
   volume =  {26},
   number = "4",
   pages =     {39-43},
   year =    "1997",
}

@inproceedings{icde,
   author =    {S. Castano and V. De Antonellis},
   title =     {Semantic Dictionary Design for Database
                Interoperability},
   booktitle = {Proc. of Int. Conf. on Data Engineering,
                ICDE'97},
   address =   "Birmingham, UK",
   year =      "1997",
}

@article{dapd,
   author =  { S. Castano and V. De Antonellis},
   title =   {A Discovery-Based Approach to Database Ontology
Design},
   journal = {Distributed and Parallel Databases, Special Issue
on Ontologies and Databases},
   year =    "1998"
}


@inproceedings{wordnet1,
   author =    {J. Gilarranz and J. Gonzalo and F. Verdejo},
   title =     {Using the EuroWordNet Multilingual Semantic
Database},
   booktitle = {Proc. of AAAI-96 Spring Symposium Cross-Language
Text and Speech Retrieval},
   year =      "1996",
}

@article{wordnet2,
   author =  {A.G. Miller},
   title =   {WordNet: A Lexical Database for English},
   journal = {Communications of the ACM},
   volume =  {38},
   number = "11",
   pages =     {39-41},
   year =    "1995",
   url =    "Wordnet Web site: http://www.cogsci.princeton.edu/wn/"
}

@inproceedings{lenz,
   author =    {D. Calvanese and G. De Giacomo and M. Lenzerini},
   title =     {Structured Objects: Modeling and Reasoning},
   booktitle = {Proc. of Int. Conference on Deductive and
Object-Oriented Databases},
   year =      "1995",
}


@inproceedings{widom,
    AUTHOR        = "Y.Papakonstantinou and H.Garcia-Molina and
J.Widom",
    TITLE         = "Object Exchange Across Heterogeneous
                     Information Sources",
   booktitle = {Proc.  of ICDE95},
   address = "Taipei, Taiwan",
   year =      "1995",
}


@article{quass,
   author =  {S. Abiteboul and D. Quass and J. McHugh and J.
Widom and J. Wiener},
   title =   {The Lorel Query Language for Semistructured Data},
   journal = {Journal of Digital Libraries},
   volume =  {1},
   number = "1",
   year =    "1996",
}

@BOOK{network,
    TITLE         = "Associative Networks",
    EDITOR        = "N.V. Findler",
    PUBLISHER     = "Academic Press",
    YEAR          = "1979"}

@MISC{med:standard,
    AUTHOR        ="P. Buneman and L. Raschid and J. Ullman",
    TITLE         = "Mediator Languages - a Proposal for a
Standard",
    INSTITUTION   = "Report of an $I^3$/POB working group held
at the University of Maryland",
    MONTH         = "April",
    YEAR          = "1996",
    NOTE          = "Available at
ftp://ftp.umiacs.umd.edu/pub/ONRrept/medmodel96.ps"}

@MISC{Gar95,
   author =  {A. Garuti},
   title =   {OCDL-Designer: un componente software per il
controllo di consistenza di schemi di basi di dati ad oggetti
con vincoli di integrit\'a},
   howpublished =  {Tesi di Laurea, Univerist\'a di Bologna,
Facolt\'a di scienze MM. FF. NN. corso di laurea in Informatica},
   year =    "1995",
}

@phdthesis{Ben94a,
  author = {D.Beneventano},
  title = {Uno strumento di inferenza nelle basi di dati ad
oggetti: la
  sussunzione},
  school =  {Dip. di Elettronica, Informatica e Sistemistica,
  Universit\`a di Bologna},
  address = {Bologna},
  year = "1994",
}

@MISC{Bal92,
   author = {J.P. Ballerini},
   title =  { ODL-Designer: un sistema per il progetto
automatico di schemi di
  basi di dati ad oggetti complessi},
  howpublished = {Tesi di Laurea, Facolt\`a di Scienze MM. FF.
NN., Corso di Laurea in Scienze dell'Informazione, Universit\`a
di Bologna},
  year ="1992",
}
@MISC{Vin94,
   author =  {M. Vincini},
   title =   {ODB-QOptimizer: un ottimizzatore semantico di
interrogazioni},
   howpublished =  {Tesi di Laurea, Univerist\'a di Modena,
Facolt\'a di Ingegneria, corso di laurea in Ingegneria
Informatica},
   year =    "1994",
}

@MISC{App96,
   author =  {P. Apparuti},
   title =   "Progetto e realizzazione di un'interfaccia OQL per
l'ottimizzazione di interrogazioni su Basi di Dati ad Oggetti
ODBQ-Optimizer",
   howpublished =  {Tesi di Laurea, Univerist\'a di Modena
Facolt\'a di Ingegneria, corso di laurea in Informatica},
   year =    "1996",
}

@article{warehouse97,
   author =  {S. Chaudhuri and U. Dayal},
   title =   {An Overview of data Warehousing and OLAP
Technology},
   journal = {SIGMOD Record},
   volume =  {26},
   number = "1",
   year =    "1997",
}

@inproceedings{warehouse95,
   author =  {J. Widom},
   title =   {Research Problems in Data Warehousing},
   booktitle = {Proc.  of CIKM95},
   year =      "1995",
}


@article{lenz84,
   author =  {C. Batini and M. Lenzerini},
   title =   {A methodology for data schema integration in the
entity relationship model},
   journal = {IEEE TSE},
   volume =  {10},
   number = "6",
   pages = "650-664",
   year =    "1984",
}
@book{odmg-2:libro,
   editor =    {R.G.G. Cattell and others.},
   title =     {The Object Data Standard: ODMG 2.0},
   publisher = {Morgan Kaufmann Publishers},
   address =   {San Francisco, CA},
   year =      "1997",
}
@MastersThesis{tesi:AlbertoCorni,
  author =   {Alberto Corni},
  title =    {ODB-DSQO un server WWW per la validazione di schemi
di dati
                  ad oggetti e l'ottimizzazione di
interrogazioni conforme
                  allo standard ODMG-93},
  school =   {Universit\`a di Modena, Italy},
  year =     {1997},
}
@book{tutorial:jdk1.2,
   author =    {Mary Campione, Kathy Walrath},
   title =     {The Java Tutorial : Object-Oriented Programming
for
                the Internet (Java Series)},
   publisher = {Addison-Wesley},
   year =      "1998",
}
@article{ceri:tods-94,
   author =  {S. Ceri and P. Fraternali and S. Paraboschi and L.
Tanca},
   title =   {Automatic Generation of Production Rules for
Integrity Maintenance},
   journal = {ACM Trans. on Database Systems},
   volume =  19,
   number =  3,
   pages =   {367--422},
   year =    "1994"
}
@inproceedings{schewe93,
   author =  {K. D. Schewe and B. Thalheim and J. M. Schmidt and
I. Wetzel},
   title =   {Integrity enforcement in object-oriented database},
   booktitle = {In Modelling Database Dynamics},
   pages =   {174--195},
   year =      "1993",
}
@InProceedings{SchTue98,
  author       = "I. Schmitt and C. T{\"u}rker",
  title        = "{An Incremental Approach to Schema Integration by Refining Extensional Relationships.}",
  booktitle    = "{Proc. of the 7th ACM CIKM Int. Conf. on Information and Knowledge Management, November 3--7, 1998,
                   Bethesda, Maryland, USA}",
  editor       = "G. Gardarin and J. French and N. Pissinou and  K. Makki and L. Bougamin",
  publisher    = "ACM Press",
  address      = "New York",
  pages        = "322--330",
  year         = "1998",
  isbn         = "1-58113-061-9",
}
@ARTICLE{MerHier,
  author =   "I. Schmitt and G. Saake",
  title =    "Merging Inheritance Hierarchies for Database Integration",
  journal =  "IEEE Trans. on Knowledge and Data Engineering",
  year =     ""
}
@INPROCEEDINGS{galois,
    AUTHOR        = "C. Carpineto and G. Romano",
    TITLE         = "GALOIS: An order-theoretic approach to  conceptual clustering",
    PAGES         = "33-40",
    BOOKTITLE     = "Macine Learning Conference",
    YEAR          = "1993"
}
@MISC{tesi:alberta,
  author =   {Alberta Rabitti},
  title =    {Architettura di un Mediatore per un Sistema di Integrazione di Sorgenti Distribuite ed Autonome},
  howpublished = {Tesi di laurea, Universit\`a di Modena, Facolt\`a di ingegneria Informatica},
  year =     {1997-1998},
  note = "http://sparc20.dsi.unimo.it/tesi/index.html"
}

@techReport{bergamaschi:beneventano:vincini:interdata:T3-R08,
   author =      {Sonia Bergamaschi and Beneventano Domenico and MAurizio Vincini},
   title =       {Il sistema MOMIS per l'integrazione di sorgenti strutturate e   semistrutturate},
   institution = {INTERDATA},
   year =        "1999",
   number = "T3--R08",
}

@InProceedings{ICDE_97:odbTools,
  author =   {D. Beneventano and S. Bergamaschi
                  and C. Sartori and M. Vincini },
  title = {ODB-Tools: A Description Logics Based Tool for Schema Validation
                  and Semantic Query Optimization in Object Oriented
                  Databases},
  booktitle =    {Proc. of Int. Conf. on Data Engineering, ICDE'97},
  year =     {1997},
  address =      {Birmingham, UK},
  month =    {April},
}

@InProceedings{KR1998:Calvanese:Lenzerini,
  author =   {D. Calvanese and G. De Giacomo and M. Lenzerini and
                  D. Nardi and R. Rosati},
  title =    {A Schema Analysis and Recociliation Tool Environment for
                  Heterogeneous Databases},
  booktitle =    {Proceedings of the Sixt International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR-98)},
  pages =    {2-13},
  year =     {1998},
}

@Booklet{site:momis,
  author =    {MOMIS staff},
  title = {MOMIS (Mediator envirOnment for Multiple Information Sources)
           Project part of the INTERDATA Project},
  NOTE = {Available at http://sparc20.dsi.unimo.it/Momis},
}

@article{Bate:86,
  author =   {Bates M.},
  title =    {Subject Access in Online Catalogs: A Design Model},
  journal =  {Journal of the American Society for Information Science},
  volume =   {11},
  pages =    {357-376},
  year =     {1986},
}

@article{Attardi:98,
  author =   {Attardi G. and Di Marco S. and Salvi D.},
  title =    {Categorization by context},
  journal =  {Journal of Universal Computer Science},
  volume =   {4},
  number =   {9},
  pages =    {719-736},
  year =     {1998},
  note  =    {Available at http://www.iicm.edu/jucs\_4\_9/categorisation\_by\_context},
}

@Booklet{Teseo,
  author =    {Teseo staff},
  title = {Teseo, an automatic classifier of Web documents that exploits the context of links in Web documents},
  NOTE = {Available at http://medialab.di.unipi.it/Project/Arianna/Teseo},
}

@Booklet{w3c_XML,
  title =    {Extensible Markup Language (XML)},
  author =   {The World Wide Web Consortium (W3C)},
  NOTE = {Available at http://www.w3.org/XML/},
}

@Article{bergamaschi:sigmod99,
  author =   {S. Bergamaschi and S. Castano and M. Vincini},
  title =    {Semantic
                  Integration of  Semistructured and Structured Data Sources},
  journal =      {SIGMOD
                  Record Special Issue  on Semantic Interoperability in Global
                  Information},
  year =     {1999},
  volume =   {28},
  number =   {1},
  month =    {March},
}

@Article{beneventano:bergamaschi:corni:vincini:aiia2000,
  author =   {D.Beneventano and S.Bergamaschi and A.Corni and M.Vincini},
  title =    {Creazione di una vista globale d'impresa con il sistema
                  MOMIS basato su Description Logics},
  journal =      {AI*IA Notizie},
  year =     {2000},
  number =   {2},
  pages =    {10},
  month =    {June},
}



@InProceedings{bergamaschi:sebd2000,
  author =   {D. Beneventano and S. Bergamaschi,
                  A. Corni and R. Guidetti and G. Malvezzi},
  title =    {{SI-Designer}: un tool di ausilio all'integrazione
                  intelligente di sorgenti di informazione },
  booktitle =    {SEBD: Sistemi Evoluti per Basi di Dati},
  year =     {2000},
  address =      {Palazzo dell'Emiciclo L'Aquila, Italy},
  month =    {June},
}


@InProceedings{bergamaschi:vldb2000,
  author    = {Domenico Beneventano and
               Sonia Bergamaschi and
               Silvana Castano and
               Alberto Corni and
               R. Guidetti and
               G. Malvezzi and
               Michele Melchiori and
               Maurizio Vincini},
  editor    = {Amr El Abbadi and
               Michael L. Brodie and
               Sharma Chakravarthy and
               Umeshwar Dayal and
               Nabil Kamel and
               Gunter Schlageter and
               Kyu-Young Whang},
  title     = {Information Integration: The MOMIS Project Demonstration},
  booktitle = {VLDB 2000, Proceedings of 26th International Conference on Very
               Large Data Bases, September 10-14, 2000, Cairo, Egypt},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  isbn      = {1-55860-715-3},
  pages     = {611-614},
  crossref  = {DBLP:conf/vldb/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


%
%
% Aggiunti da Guidetti Rossano
%
%
@MISC{tesi:zanoli,
  author = {Alberto Zanoli},
  title = {Si-designer, un tool di ausilio all'integrazione di sorgenti di dati
  eterogenee distribuite: progetto e realizzazione.},
  howpublished =  {Tesi di laurea, Universit\`a di Modena e Reggio Emilia, Facolt\`a di Ingegneria, corso di laurea in Ingegneria
  Informatica},
  year = "1997-1998",
}

@MISC{tesi:simone,
  author = {Simone Montanari},
  title = {Un approccio intelligente all' integrazione di sorgenti eterogenee di
  informazione.},
  howpublished =  {Tesi di laurea, Universit\`a di Modena e Reggio Emilia, Facolt\`a di Ingegneria, corso di laurea in Ingegneria
  Informatica},
  year = "1996-1997",
}

@MISC{CORBA:java,
  title = {Lesson: Introducing Java IDL},
  note = {disponibile all'indirizzo http://web2.java.sun.com/docs/books/tutorial/idl/intro/index.html}
}

@MISC{serialization:java,
  title = {Object serialization},
  note = {disponibile all'indirizzo http://java.sun.com/docs/books/tutorial/essential/io/serialization.html}
}

@MastersThesis{tesi:FrancescoGuerra,
  author =   {Francesco Guerra},
  title =    {MOMIS: il wrapper per sorgenti di dati XML },
  school =   {Universit\`a di Modena e Reggio Emilia},
  year =     {2000},
}

@MastersThesis{tesi:GiovanniMalvezzi,
  author =   {Giovanni Malvezzi},
  title =    {Estrazione di relazioni lessicali con WordNet
                  nel sistema MOMIS},
  school =   {Universit\`a di Modena e Reggio Emilia},
  year =     {2000},
}


@InProceedings{ifcis:baseExtension,
  author    = {Ingo Schmitt and  Gunter Saake},
  title     = {Merging Inheritance Hierarchies for Database Integration},
  booktitle = {Proceedings of the 3rd IFCIS International Conference on
               Cooperative
               Information Systems, New York City, New York, USA, August
               20-22,
               1998, Sponsored by IFCIS, The Intn'l Foundation on
               Cooperative
               Information Systems},
  publisher = {IEEE-CS Press},
  year      = {1998},
  isbn      = {0-8186-8380-5},
  pages     = {322-331},
}
