https://www.dagstuhl.de/00291

July 16 – 21 , 2000, Dagstuhl Seminar 00291

Logics for Emerging Applications of Databases

Organizer

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

For support, please contact

Dagstuhl Service Team

Documents

Dagstuhl's Impact: Documents available
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

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.