TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 01021

Semantics in Databases

( Jan 07 – Jan 12, 2001 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/01021

Organizers




Motivation

In the early days of database research, issues related to database semantics played a prominent role, and papers discussing database models, conceptual design, integrity constraints, normalization often dominated major database conferences. This began to change more than a decade ago, and nowadays those issues do not appear to be part of the mainstream database research. This situation is caused by several reasons: the problem began to be too difficult, the community was hoping on solutions based on better database models, the variety of buzzwords for new models and approaches required foundation and clarification, the problems raised by application required a lot of research, the pending hope on a universal, simple and genius solutions. Nevertheless the semantical foundations are left open for most of the modern database models or are not existing for models such as UML or XML. At the same time, the community was forgetting the achievements of the early database research.

The seminar "Semantics in databases" will be a forum for researchers still interested in database semantics and which can contribute on the basis of research on database semantics and modern approaches of logics, algebra and combinatorics to the solution of very difficult problems raised in application. The first workshop "Semantics in Databases" has been organized in Rez in January 1995. The results of the discussions of the workshop have been summarized in the post workshop proceedings published in LNCS 1358.

Semantics of databases and information systems can be based on approaches which have been developed and successfully used by different communities: the logics community especially those working on non-monotonic reasoning, theorem proving, deduction, abduction, induction, finite model theory, constraint problems, non-classical semantics and categorical foundations; the type theory community especially those working on algebraic foundations of information systems; the complexity theory community especially those working on combinatorial foundations of information systems complexity; the database theory community which has been continuing research on constraints; the AI community especially those working on agents, application of non-classical logics and reasoning, deduction, abduction, induction in data and knowledge bases and non-monotonic reasoning; the database community especially those contributing to foundations of information systems design including Web-based information systems, temporal aspects, integrity and security and database dynamics.

Research on semantics of databases is forced by a variety of problems challenging the modern information society. First, modern approaches are based on complex database and information system models. It requires the reformulation of classical results and their re-summarization including the restoration of older results. Dynamic semantics remains to be still open. Almost nothing is known on interaction semantics. Second, current technology faces difficult challenges. Information systems are becoming part of the everyday's infrastructure. They are used mainly by unexperienced users mainly on the basis of natural language understanding. The success of the internet caused the utilization of huge varieties of semantics. XML and other ML are becoming the baseplate of internet applications. However, XML supports semantics and consistency to a very limited extend. Third, the importance of research on semantics is hyper-raising by applications. Applications are more and more decentralized and require careful integration. UML become to be the 'inter-galactic' application specification language. It has almost no semantics. In order to develop consistent application the semantics foundation needs to be worked out.

This Dagstuhl seminar aims in bringing together different communities such as the database theory community, the logics community, the AI community, the complexity theory community, the type theory community and the database applications community. The aim of the seminar is to provide a working environment where: different streams of semantics research are becoming aware of research of other communities; maintaining the database semantics community; working on plans for a survey on semantics in databases; discussing challenges of modern applications to semantics; figuring out research challenges of the next decade. To encourage discussion, we will have talks with a responder. The length of a talk is restricted to 60 minutes. The talk is followed by a discussion introduced by the responder of about 30 minutes overall.


Participants
  • Mira Balaban (Ben Gurion University - Beer Sheva, IL) [dblp]
  • Christoph Beierle (FernUniversität in Hagen, DE) [dblp]
  • Leopoldo Bertossi (Carleton University - Ottawa, CA) [dblp]
  • Harold Boley (University of New Brunswick at Fredericton, CA) [dblp]
  • Egon Börger (University of Pisa, IT) [dblp]
  • Stefan Brass (TU Clausthal, DE)
  • François Bry (LMU München, DE) [dblp]
  • Hendrik Decker (Universidad Politécnica - Valencia, ES)
  • Thomas Feyer (BTU Cottbus, DE)
  • Burkhard Freitag (Universität Passau, DE)
  • Floris Geerts (University of Edinburgh, GB) [dblp]
  • Parke Godfrey (College of William and Mary - Williamsburg, US) [dblp]
  • Claudio Gutierrez (University of Chile - Santiago de Chile, CL) [dblp]
  • Sven Hartmann (Universität Rostock, DE) [dblp]
  • Stephen J. Hegner (University of Umeå, SE) [dblp]
  • Steffen Jurk (BTU Cottbus, DE)
  • Gyula O.H. Katona (Alfréd Rényi Institute of Mathematics - Budapest, HU)
  • Markus Kirchberg (Massey University, NZ)
  • Hans-Joachim Klein (Universität Kiel, DE)
  • Peter Koepke (Universität Bonn, DE) [dblp]
  • Gabriel Kuper (Università di Trento, IT)
  • Dietrich Kuske (Universität Leipzig, DE) [dblp]
  • Sebastian Link (Massey University, NZ) [dblp]
  • Rainer Manthey (Universität Bonn, DE)
  • Enric Mayol (UPC - Barcelona, ES)
  • Dezsö Miklós (Alfréd Rényi Institute of Mathematics - Budapest, HU) [dblp]
  • Oscar Pastor Lopez (Universidad Politécnica - Valencia, ES) [dblp]
  • Klaus-Dieter Schewe (Massey University, NZ) [dblp]
  • Thomas Schwentick (TU Dortmund, DE) [dblp]
  • Dietmar Seipel (Universität Würzburg, DE)
  • Oleg Seleznjev (University of Umeå, SE)
  • Barbara Sprick (TU Dortmund, DE) [dblp]
  • Srinath Srinivasa (BTU Cottbus, DE)
  • Bernhard Thalheim (Universität Kiel, DE) [dblp]
  • David Toman (University of Waterloo, CA) [dblp]
  • Jose Maria Turull Torres (Universidad Nacional de San Luis, AR)
  • Jan Van den Bussche (Hasselt University - Diepenbeek, BE) [dblp]
  • Marcela Varas Contreras (University of Concepción, CL)
  • Vojtech Vestenicky (BTU Cottbus, DE)
  • Gerd Wagner (BTU Cottbus, DE)