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 00291

Logics for Emerging Applications of Databases

( Jul 16 – Jul 21, 2000 )

(Click in the middle of the image to enlarge)

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

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




Motivation

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.


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

Related Seminars
  • Dagstuhl Seminar 9529: Role of Logics in Information Systems (1995-07-17 - 1995-07-21) (Details)