Database Theory - ICDT '97
Database Theory - ICDT '97

Author: Foto N. Afrati

Publisher: Springer Science & Business Media

Published: 1997

Total Pages: 500

ISBN-13: 9783540622222

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Database Theory, ICDT '97, held in Delphi, Greece, in January 1997. The 29 revised full papers presented in the volume were carefully selected from a total of 118 submissions. Also included are invited papers by Serge Abiteboul and Jeff Ullman as well as a tutorial on data mining by Heikki Mannila. The papers are organized in sections on conjunctive queries in heterogeneous databases, logic and databases, active databases, new applications, concurrency control, unstructured data, object-oriented databases, access methods, and spatial and bulk data.

Database Theory - ICDT'99
Database Theory - ICDT'99

Author: Catriel Beeri

Publisher: Springer

Published: 2003-05-20

Total Pages: 500

ISBN-13: 3540492577

DOWNLOAD EBOOK

Databaseresearchisa?eldofcomputersciencewheretheorymeetsapplications. Many concepts and methods, that were regarded as issues of theoretical interest when initially proposed, are now included in implemented database systems and related products. Examples abound in the ?elds of database design, query languages, query optimization, concurrency control, statistical databases, and many others. The papers contained in this volume were presented at ICDT’99, the 7th - ternationalConferenceonDatabaseTheory,inJerusalem,Israel,January10–12, 1999. ICDT is an international forum for research on the principles of database systems. It is a biennial conference, and has a tradition of being held in beau- ful European sites: Rome in 1986, Bruges in 1988, Paris in 1990, Berlin in 1992, Prague in 1995, and Delphi in 1997. From 1992, ICDT has been merged with another series of conferences on theoretical aspects of database systems, The Symposium on Mathematical Fundamentals of Database Systems (MFDBS), that was initiated in Dresden (1987), and continued in Visegrad (1989) and Rostock (1991). ICDT aims to enhance the exchange of ideas and cooperation in database research both within uni?ed Europe, and between Europe and the other continents. ICDT’99 was organized in cooperation with: ACM Special Interest Group on Management of Data (Sigmod) IEEE Israel Chapter ILA — The Israel Association for Information Processing EDBT Foundation ICDT’99 was sponsored by: The Hebrew University of Jerusalem Tel Aviv University Tandem Labs Israel, a Compaq Company This volume contains 26 technical papers selected from 89 submissions.

Database Theory - ICDT 2005
Database Theory - ICDT 2005

Author: Thomas Eiter

Publisher: Springer

Published: 2005-03-01

Total Pages: 423

ISBN-13: 354030570X

DOWNLOAD EBOOK

This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5–7, 2005, in Edinburgh, UK. ICDT (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum for the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were “extended abstracts” and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti?c journals.

OOIS’97
OOIS’97

Author: Maria E. Orlowska

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 514

ISBN-13: 1447115252

DOWNLOAD EBOOK

The papers published here highlight the contributions of leading researchers in the field who are working with object-oriented technology, theory and practice. Among the topics to be covered are: object-relational data technology; distributed object computing; patterns and frameworks; concepts and methodologies; multimedia systems; object-0riented metrics; object reuse; object ontologies; business process re-design; knowledge management; object database management systems; and interoperability issues. Areas of significant interest to industry, especially in providing innovative directions for the development of next generation systems, are also covered.

Database Theory - ICDT '97
Database Theory - ICDT '97

Author: Foto N. Afrati

Publisher: Springer Science & Business Media

Published: 1997

Total Pages: 500

ISBN-13: 9783540622222

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Database Theory, ICDT '97, held in Delphi, Greece, in January 1997. The 29 revised full papers presented in the volume were carefully selected from a total of 118 submissions. Also included are invited papers by Serge Abiteboul and Jeff Ullman as well as a tutorial on data mining by Heikki Mannila. The papers are organized in sections on conjunctive queries in heterogeneous databases, logic and databases, active databases, new applications, concurrency control, unstructured data, object-oriented databases, access methods, and spatial and bulk data.

Databases, Information Systems, and Peer-to-Peer Computing
Databases, Information Systems, and Peer-to-Peer Computing

Author: Karl Aberer

Publisher: Springer Science & Business Media

Published: 2004-01-28

Total Pages: 259

ISBN-13: 3540209689

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Databases, Information Systems, and Peer-to-Peer Computing, DBISP2P 2003, held in Berlin, Germany in September 2003 as a satellite event of VLDB 2003. The 16 revised full papers presented together with the abstract of an invited contribution were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on structure in P2P networks, semantics and data integration, data streams and publish/subscribe, and data structures and query processing.

Perspectives of System Informatics
Perspectives of System Informatics

Author: Dines Bjørner

Publisher: Springer

Published: 2003-06-30

Total Pages: 561

ISBN-13: 3540455752

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.

Constraint Databases and Applications
Constraint Databases and Applications

Author: Bart Kuijpers

Publisher: Springer

Published: 2004-10-14

Total Pages: 192

ISBN-13: 3540259546

DOWNLOAD EBOOK

The ?rst International Symposium on the Applications of Constraint Databases (CDB2004) took place in Paris, France, on June 12–13, 2004, just before the ACM SIGMOD and PODS conferences. Since the publication of the paper “Constraint Query Languages” by Kan- lakis, Kuper and Revesz in 1990, the last decade has seen a growing interest in constraint database theory, query evaluation, and applications, re?ected in a variety of conferences, journals, and books. Constraint databases have proven to be extremely ?exible and adoptable in environments that relational database systems cannot serve well, such as geographic information systems and bioinf- matics. This symposium brought together people from several diverse areas all c- tributing to the practice and the application of constraint databases. It was a continuation and extension of previous workshops held in Friedrichshafen, G- many (1995), Cambridge, USA (1996), Delphi, Greece (1997), and Seattle, USA (1998) as well as of the work in the comprehensive volume “Constraint Data- ses” edited by G. Kuper, L. Libkin and J. Paredaens (2000) and the textbook “Introduction to Constraint Databases” by P. Revesz (2002). The aim of the symposium was to open new and future directions in c- straint database research; to address constraints over domains other than the reals; to contribute to a better implementation of constraint database systems, in particular of query evaluation; to address e?cient quanti?er elimination; and to describe applications of constraint databases.

Modular Programming Languages
Modular Programming Languages

Author: Hanspeter Mössenböck

Publisher: Springer Science & Business Media

Published: 1997-02-26

Total Pages: 396

ISBN-13: 9783540625995

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held in Linz, Austria, in March 1997. The 24 revised full papers presented were carefully selected from a total of 55 submissions; also included are full papers of two invited presentations. The book is devoted to languages, techniques, and tools for the development of modular, extensible, and type-safe software systems. Among the programming languages covered are Modula, Oberon, Ada95, Eiffel, Salher, Java, and others. The issues addressed include compiler technology, persistence, data structures, typing, distribution, active objects, real-time programming, inheritance, reflection, languages, etc.

Model-Checking Based Data Retrieval
Model-Checking Based Data Retrieval

Author: Elisa Quintarelli

Publisher: Springer

Published: 2004-02-12

Total Pages: 149

ISBN-13: 3540246037

DOWNLOAD EBOOK

This thesis deals with the problems of characterizing the semantics of and assuring efficient execution for database query languages, where the database contains semistructured and time-varying information. This area of technology is of much interest and significance for databases and knowledge bases; it also presents many challenging research problems deserving an in-depth investigation. Thus, the topic of Elisa Quintarelli's dissertation is well chosen and totally appropriate to the current research trends. In her thesis, Elisa addresses a number of related problems. However, her work and contributions concentrate on two main problems. The first is the definition of an effective graph-based approach to the formalization of query languages for semistructured and temporal information. In her approach, query execution is viewed as the process of matching the query graph with the database instance graph; therefore, query execution reduces to searching the database for subgraphs that are similar to the given query graph. The search for such matches can be supported through the computational process of biosimulation. This approach is used to de?ne the semantics of several languages, including graphical languages, such as G-Log and GraphLog, semistructured information languages, such as Lorel, and temporal languages, such as TSS-QL. Both graph-based approaches and biosimulation had been used by previous authors for defining query languages and their semantics; however, this work goes well beyond previous approaches by integrating and refining these techniques into a flexible and powerful paradigm that Elisa demonstrates to be effective on a spectrum of languages and a suite of alt- native semantics.