http://www.dagstuhl.de/00291

16. – 21. Juli 2000, Dagstuhl Seminar 00291

Logics for Emerging Applications of Databases

Organisatoren

J. Chomicki (Monmouth Univ.), R. van der Meyden (Sydney), G. Saake (Magdeburg)


Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl's Impact: Dokumente verfügbar
Dagstuhl-Seminar-Report 282

The designers and users of present-day information systems deal with more and more complex applications that have to meet stringent quality requirements. Logic, in the form of many different logical formalisms, is a suitable tool to address some of the emerging problems, particularly those that benefit from a declarative formulation. The advantages of logic include formal, well-understood syntax and semantics, and thoroughly studied computational properties.

Emerging applications requiring database management have motivated new developments in logical frameworks for their support. Examples of these new developments are:

  • logical frameworks for various aspects of electronic commerce, e.g. negotiation and communication, EDI, electronic contracts
  • logics for security, for example in distributed data stores
  • workflow logics as descriptive frameworks for specifying, querying, animating and modifying workflows
  • logical frameworks for handling data of varying quality in data warehouses ("soft" integrity constraints, ..)
  • logics for information integration, database interoperation, and virtual enterprises
  • logical frameworks for the specification of multimedia applications
  • logics for temporal, spatial, and spatio-temporal database applications
  • logical frameworks in scientific data handling
  • logical specification of agents and policies
  • logical aspects of knowledge discovery in databases and OLAP.

In addition to addressing the above new developments, the seminar will focus on the critical evaluation of existing logical frameworks for databases and information systems in the light of past experience and future potential. In particular, the following are candidates for such a review: nonmonotonic logics, logics of time and action, deontic logic, deductive and constraint databases. Leading researchers from emerging database applications areas are also being invited to comment on the role of logic in their areas, hopefully generating lively discussions.

Related Dagstuhl Seminar

Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.