%%% ====================================================================
%%%  BibTeX-file{
%%%   filename  = "cdb.bib",
%%%   url = "http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/cdb/cdb.bib",
%%%   version   = "1.00",
%%%   date      = "13 April 1998",
%%%   time      = "15:34:01 EDT",
%%%   author    = "David M. Jones",
%%%   address   = "MIT Laboratory for Computer Science
%%%                Room NE43-316
%%%                545 Technology Square
%%%                Cambridge, MA 02139
%%%                USA",
%%%   telephone = "(617) 253-5936",
%%%   FAX       = "(617) 253-3480",
%%%   checksum  = "28561 320 873 8818",
%%%   email     = "dmjones at theory.lcs.mit.edu",
%%%   codetable = "ISO/ASCII",
%%%   keywords  = "",
%%%   supported = "yes",
%%%   abstract  = "This file is derived from Michael Ley's hypertext
%%%                bibliography of the Proceedings of the Constraint
%%%                Databases and Applications (CDB) Although I have
%%%                tried to ensure that his html files have been
%%%                accurately converted into BibTeX format, there are
%%%                undoubtably a number of errors still present.  If
%%%                you find one, please notify me at the above email
%%%                address.
%%%
%%%                Michael Ley's original files are available at
%%%
%%%                    http://www.informatik.uni-trier.de/~ley/db/
%%%                ",
%%%   docstring = "The checksum field above contains a CRC-16 checksum
%%%                as the first value, followed by the equivalent of
%%%                the standard UNIX wc (word count) utility output of
%%%                lines, words, and characters.  This is produced by
%%%                Robert Solovay's checksum utility.",
%%%  }
%%% ====================================================================

CONSTRAINT DATABASES AND APPLICATIONS

                               CDB 1995
                       Friedrichshafen, Germany
                         September 8-9, 1995

@InProceedings{CDB::Simonis1995,
  title =        "Application Development with the {CHIP} System",
  author =       "Helmut Simonis",
  pages =        "1--21",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::AfratiAK1995,
  title =        "On the Expressiveness of First-Order Constraint
                 Languages",
  author =       "Foto N. Afrati and Theodoros Andronikos and Theodoros
                 G. Kavalieros",
  pages =        "22--39",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::BelussiBBC1995,
  title =        "Generalized Relational Algebra: Modeling Spatial
                 Queries in Constraint Databases",
  author =       "Alberto Belussi and Elisa Bertino and Michela
                 Bertolotto and Barbara Catania",
  pages =        "40--67",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::ByonR1995,
  title =        "{DISCO}: {A} Constraint Database System with Sets",
  author =       "Jo-Hag Byon and Peter Z. Revesz",
  pages =        "68--83",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::GaedeG1995,
  title =        "Constraint-Based Query Optimization and Processing",
  author =       "Volker Gaede and Oliver G{\"u}nther",
  pages =        "84--101",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::Freeston1995,
  title =        "The Application of Multi-Dimensional Indexing Methods
                 to Constraints",
  author =       "Michael Freeston",
  pages =        "102--119",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::HermosillaK1995,
  title =        "Towards the Definition of a Spatial Object-Oriented
                 Data Model with Constraints",
  author =       "Luis Hermosilla and Gabriel M. Kuper",
  pages =        "120--131",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::Reiner1995,
  title =        "Ambiguity for Referential Integrity Is Undecidable",
  author =       "Joachim Reiner",
  pages =        "132--147",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::WallaceBP1995,
  title =        "Magic Checking: Constraint Checking for Database Query
                 Optimization",
  author =       "Mark Wallace and St{\'e}phane Bressan and Thierry Le
                 Provost",
  pages =        "148--166",
  crossref =     "CDB::cdb95",
}

@InProceedings{CDB::YakhnoCZ1995,
  title =        "{FISSURE}: {FI}nder of Solutions with {SU}bdefinite
                 {RE}sources",
  author =       "Tatyana M. Yakhno and G. B. Cheblakov and V. Z.
                 Zilberfain",
  pages =        "167--185",
  crossref =     "CDB::cdb95",
}

CDB 1997
                            Delphi, Greece
                         January 11-12, 1997

@InProceedings{CDB::Papadimitriou1997,
  title =        "Planar Topological Queries",
  author =       "Christos H. Papadimitriou",
  pages =        "1--6",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::GaedeW1997,
  title =        "An Informal Introduction to Constraint Database
                 Systems",
  author =       "Volker Gaede and Mark Wallace",
  pages =        "7--52",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::MirankerBS1997,
  title =        "Query Evaluation as Constraint Search; An Overview of
                 Early Results",
  author =       "Daniel P. Miranker and Roberto J. {Bayardo Jr.} and
                 Vasilis Samoladas",
  pages =        "53--63",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::Toman1997,
  title =        "Computing the Well-Founded Semantics for Constraint
                 Extensions of~{Datalog}",
  author =       "David Toman",
  pages =        "64--79",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::WangSQ1997,
  title =        "Decomposition and Lossless Join in Constraint
                 Databases",
  author =       "Yujun Wang and Baile Shi and Yunyao Qu",
  pages =        "80--91",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::HacidMR1997,
  title =        "A Rule-Based {CQL} for 2-Dimensional Tables",
  author =       "Mohand-Said Hacid and Patrick Marcel and Christophe
                 Rigotti",
  pages =        "92--104",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::AfratiAK1997,
  title =        "On the Expressiveness of Query Languages with Linear
                 Constraints; Capturing Desirable Spatial Properties",
  author =       "Foto N. Afrati and Theodore Andronikos and Theodore G.
                 Kavalieros",
  pages =        "105--115",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::KuijpersS1997,
  title =        "On Expressing Topological Connectivity in Spatial
                 {Datalog}",
  author =       "Bart Kuijpers and Marc Smits",
  pages =        "116--133",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::BrodskyS1997,
  title =        "The {C3} Constraint Object-Oriented Database System:
                 An Overview",
  author =       "Alexander Brodsky and Victor E. Segal",
  pages =        "134--159",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::BertinoCB1997,
  title =        "Integrity Constraint Checking in Chimera",
  author =       "Elisa Bertino and Barbara Catania and St{\'e}phane
                 Bressan",
  pages =        "160--186",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::IbrahimGF1997,
  title =        "{SICSDD}: Techniques and Implementation",
  author =       "Hamidah Ibrahim and W. A. Gray and N. J. Fiddian",
  pages =        "187--207",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::Alagic1997,
  title =        "A Temporal Constraint System for Object-Oriented
                 Databases",
  author =       "Suad Alagic",
  pages =        "208--218",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::DoucetFGJM1997,
  title =        "Using Database Versions to Implement Temporal
                 Integrity Constraints",
  author =       "Anne Doucet and Marie-Christine Fauvet and
                 St{\'e}phane Gan{\c{c}}arski and Genevi{\`e}ve Jomier
                 and Sophie Monties",
  pages =        "219--233",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::Revesz1997,
  title =        "Genomic Database Applications in {DISCO}",
  author =       "Peter Z. Revesz",
  pages =        "234--245",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::Toman1997,
  title =        "Constraint Databases and Program Analysis Using
                 Abstract Interpretation",
  author =       "David Toman",
  pages =        "246--262",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::Sexton1997,
  title =        "Querying Indexed Files",
  author =       "Alan P. Sexton",
  pages =        "263--281",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::Freeston1997,
  title =        "On the Complexity of {BV-}tree Updates",
  author =       "Michael Freeston",
  pages =        "282--293",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::BressanSW1997,
  title =        "Implementing Index Data Structures Using Constraint
                 Logic Programming",
  author =       "St{\'e}phane Bressan and Alan P. Sexton and Mark
                 Wallace",
  pages =        "294--301",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::Revesz1997,
  title =        "Problem Solving in the {DISCO} Constraint Database
                 System",
  author =       "Peter Z. Revesz",
  pages =        "302--315",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::YakhnoZ1997,
  title =        "Interval Domain Library for {ECLiPSe} and Its
                 Application",
  author =       "Tatyana M. Yakhno and Slava Zilberfaine",
  pages =        "316--328",
  crossref =     "CDB::cdb97",
}

@InProceedings{CDB::NigamD1997,
  title =        "A Semantic Query Optimization Algorithm for
                 Object-Oriented Databases",
  author =       "Samir Nigam and Karen C. Davis",
  pages =        "329--344",
  crossref =     "CDB::cdb97",
}

%% CROSSREFS -- KEEP AT END OF FILE

@String{lncs =   "Lecture Notes in Computer Science"}

@Proceedings{CDB::CDB95,
  editor =       "Gabriel M. Kuper and Mark Wallace",
  title =        "Constraint Databases and Applications",
  booktitle =    "Constraint Databases and Applications",
  address =      "Friedrichshafen, Germany",
  month =        "8--9~" # sep,
  year =         "1995",
  series =       lncs,
  volume =       "1034",
  publisher =    "Springer, 1996",
  comment =      "ISBN 3-540-60794-3",
  crossrefonly = "1",
}

@Proceedings{CDB::CDB97,
  editor =       "Volker Gaede and others",
  c-editor =     "Volker Gaede and Alexander Brodsky and Oliver
                 G{\"u}nther and Divesh Srivastava and Victor Vianu and
                 Mark Wallace",
  title =        "Constraint Databases and Their Applications, Second
                 International Workshop on Constraint Database Systems",
  booktitle =    "Constraint Databases and Their Applications, Second
                 International Workshop on Constraint Database Systems",
  address =      "Delphi, Greece",
  month =        "11--12~" # jan,
  year =         "1997",
  series =       lncs,
  volume =       "1191",
  publisher =    "Springer",
  comment =      "ISBN 3-540-62501-1",
  crossrefonly = "1",
}
