Icdt 90

The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.

This book constitutes the refereed proceedings of the 8th International Conference on Database Theory, ICDT 2001, held in London, UK, in January 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from 75 submissions. All current issues on database theory and the foundations of database systems are addressed. Among the topics covered are database queries, SQL, information retrieval, database logic, database mining, constraint databases, transactions, algorithmic aspects, semi-structured data, data engineering, XML, term rewriting, clustering, etc.

The papers in this volume were presented at the International Conference on Database Theory, held in Berlin, Germany, October 14-16, 1992. This conference initiated the merger of two series of conferences on theoretical aspects of databases that were formed in parallel by different scientific communities in Europe. The first series was known as the International Conference on Database Theory and the second as the Symposium on Mathematical Fundamentals of Database Systems. In the future, ICDT will be organized every two years, alternating with the more practically oriented series of conferences on Extending Database Technology (EDBT). The volume contains 3 invited lectures and 26 contributed papers selected from a total of 107 submissions. The papers are organized into sections on constraints and decomposition, query languages, updates and active databases, concurrency control and recovery, knowledge bases, datalog complexity and optimization, object orientation, information capacity and security, and data structures and algorithms. Two of the invited papers survey research into theoretical database issues done in Eastern Europe during the past decade.

This book is a comprehensive presentation of entity-relationship (ER) modeling with regard to an integrated development and modeling of database applications. It comprehensively surveys the achievements of research in this field and deals with the ER model and its extensions. In addition, the book presents techniques for the translation of the ER model into classical database models and languages, such as relational, hierarchical, and network models and languages, as well as into object-oriented models.

This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis.

Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung sehr m{chtiger semantischer bzw. objektorientierter Datenmodelle, um den Anforderungen aus sogenannten Nicht-Standardanwendungen wie z.B. dem B}robereich gerecht zu werden. Daraus ergeben sich unmittelbar neue Problemstellungen imHinblick auf die Entwurfs- und Modellierungsaufgaben, die mit dem Einsatz derartiger m{chtiger Datenmodelle verbunden sind. Betrachtet manandererseits Entwicklungstendenzen im Bereich der K}nstlichen Intelligenz, so wird Fragen der systematischen Entwicklung Wissensbasierter Systeme eine immer gr|~ere Wichtigkeit beigemessen. Dabei spielen u.a. Phasen-Systeme und damit verbunden der Aufbau geeigneter Modelle eine zentrale Rolle. Dementsprechend hat der 2. Workshop "Informationssysteme und K}nstliche Intelligenz" gerade das Gebiet der Modellierung als generelles Thema. Zielsetzung ist dabei, auf dem Gebiet derModellierung Gemeinsamkeiten und Unterschiede von Problemstellungen bzw. L|sungsans{tzen, die in den Fachdisziplinen K}nstliche Intelligenz und Informationssysteme/Datenbanksysteme identifiziert bzw. entwickelt worden sind, herauszuarbeiten. Damit soll gleichzeitig der Gedankenaustausch zwischen den beteiligten Fachdisziplinen gef|rdertund die Zusammenarbeit }ber Fachdisziplinen hinweg verbessert werden.

This volume constitutes the refereed proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling, OOER '95, held in Gold Coast, Australia in December 1995. The 36 papers presented together with an invited presentation by Gio Wiederhold were selected from a total of 120 submissions. The papers are organized in sections on object design and modelling, models and languages, reverse engineering and schema transformation, behavioral modelling, non-traditional modelling, theoretical foundations, business re-engineering, integrated approaches, cooperative work modelling, temporal data modelling, federated systems design, and industrial stream papers

This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference, including invited lectures and selected contributions, falls into the following categories: - Semantics and logical concepts in the theory of computing, formal specification, - Automata and formal languages, Computational geometry, - Algorithmic aspects of algebra and algebraic geometry, cryptography, - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts), - Algorithms (efficient, probabilistic, parallel, sequential, distributed), - Counting and combinatorics in connection with mathematical computer science. The proceedings of previous FCT meetings are available as Lecture Notes in Computer Science (Vols. 380, 278, 199, 158, 117, 56).