Workshop DYNAMICS 97: (Trans) Actions and Change in Logic PRogramming and Deductive Databases

摘要

The static semantics of logic programming languages and the evaluation of queries is well understood. However, there is no consensus about the appropriate treatment of dynamic behaviour, i.e., the evolution of databases or even entire programs with time. Thus, in spite of substantial progress in the theory and implementation of logic programming and deductive databases, they are likely to be ruled out as platforms for information systems unless viable and widely accepted solutions are found to the question of dynamics. In addition, the need is not only for complex rule bases, but also for standard database functionality, such as concurrent access, transaction isolation and atomicity, large amounts of data, data distribution, recovery from system failures, etc. The problems to be solved span all of logic programming and databases, from theory to implementation.