default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

SPARQL queries 

run query for this table of contents

• frequent references
• highly cited publications

or build your own?

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

Selected papers are published in Theoretical Computer Science, Volume 149, Number 1, 1995

The International Conference on Database Theory (ICDT) is organized every two years and intends to provide a European forum for the international research community working on theoretical issues related to database systems. It was initiated in Rome, Italy in 1986 and continued in Bruges, Belgium in 1988 and Paris, France in 1990.

ICDT '92 is understood as both the successor of the former ICDT conferences and a second series of conferences on theoretical aspects of databases, which has previously been held in Eastern Europe and was known as the Symposium on Mathematical Fundamentals of Database Systems (MFDBS). The latter was initiated in Dresden, Germany in 1987 and continued in Visegrad, Hungary in 1989 and Rostock, Germany in 1991.

Due to the revolutionary developments in Europe in general and in Germany in particular during the past few years, a merger of these two series of conferences should enhance the exchange of ideas and cooperation within a unified Europe and between Europe and other continents.

• 
  Gyula O. H. Katona:
  Combinatorial and Algebraic Results for Database Relations. 1-20
• 
  José Alberto Fernández, Jack Minker:
  Semantics of Disjunctive Deductive Databases. 21-50
• 
  M. Sh. Tsalenko:
  Database Theory in Russia (1979-1991) (an overview). 51-70

• 
  János Demetrovics, Lajos Rónyai, Hua nam Son:
  On the Composition and Decomposition of Attributes and Tuples. 71-85
• 
  Jyrki Kivinen, Heikki Mannila:
  Approximate Dependency Inference from Relations. 86-98
• 
  Chris Tuijn, Marc Gyssens:
  Views and Decompositions of Databases from a Categorical Perspective. 99-112

• 
  Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
  Computing with Infinitary Logic. 113-123
• 
  Stéphane Grumbach, Christophe Tollu:
  Query Languages with Counters. 124-139
• 
  Val Tannen, Peter Buneman, Limsoon Wong:
  Naturally Embedded Query Languages. 140-154

• 
  Françoise Fabret, Mireille Régnier, Eric Simon:
  Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics. 155-170
• 
  Serge Abiteboul, Allen Van Gelder:
  Optimizing Active Databases using the Split Technique. 171-187
• 
  Marcelo Finger, Dov M. Gabbay:
  Updating Atomic Information in Labelled Database Systems. 188-200

• 
  Man Hon Wong, Divyakant Agrawal:
  Context-Specific Synchronization for Atomic Data Types. 201-215
• 
  Alan D. Fekete, Nancy A. Lynch, William E. Weihl:
  Hybrid Atomicity for Nested Transactions. 216-230
• 
  Dean Kuo:
  Model and Verification of a Data Manager Based on ARIES. 231-245

• 
  Monica D. Barback, Jorge Lobo, James J. Lu:
  Minimizing Indefinite Information in Disjunctive Deductive Databases. 246-260
• 
  Françoise Gire:
  Well Founded Semantics and Stable Semantics of Semi-Strict Programs. 261-275
• 
  Christos H. Papadimitriou, Martha Sideri:
  On Finding Extensions of Default Theories. 276-281

• 
  Guozhu Dong, Rodney W. Topor:
  Incremental Evaluation of Datalog Queries. 282-296
• 
  Tomás Feder, Yatin P. Saraiya:
  Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations. 297-311
• 
  Stéphane Grumbach:
  A Paradox in Database Theory. 312-325

• 
  Jan Van den Bussche, Dirk Van Gucht:
  A Hierarchy of Faithful Set Creation in Pure OODB's. 326-340
• 
  Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel:
  Identification, Genericity and Consistency in Object-Oriented Databases. 341-356
• 
  Domenico Beneventano, Sonia Bergamaschi:
  Subsumption for Complex Object Data Models. 357-375

• 
  Marie Duzí:
  Semantic Information Connected with Data. 376-390
• 
  Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian:
  Declarative Foundations of Secure Deductive Databases. 391-406

• 
  Håkan Jakobsson:
  On Materializing Views and On-Line Queries. 407-420
• 
  Anatoly P. Pinchuk, Konstantin V. Shvachko:
  Maintaining Dictionaries: Space-Saving Modifications of B-Trees. 421-435
• 
  Natraj Arni, Sergio Greco, Domenico Saccà:
  Set-Term Matching in Logic Programming. 436-449

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

 last updated on 2024-11-14 20:49 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: