@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}}
@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{beneventano:bergamaschi:sartori:vincini: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",
   tipobib =   5,
   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",
}

@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},
}

