This paper presents an extension of propositional dynamic database logic in which arbitrary database transactions can be specified declaratively. Typically, declaratively specified transactions are under-specified. Specifications are usually supplemented with a frame assumption about what does not change as the result of a transaction, and a qualification assumption stating that transactions occur, provided they respect certain conditions called 'guards' and do not contravene any constraints. In addition these (static) constraints may be, or may not be interpreted to force ramifications of transactions. In the former case, both frame and qualification assumption should also apply to ramifications. We solve these problems by defining preferences over Kripke structures and showing how these can be used to define an intended semantics that, for each declarative transaction specification, selects a unique meaning for each transaction. In particular, the intended semantics formalizes a frame assumption and selects qualifications and ramifications for each specification. The notion of preferential entailment based on the semantics provides a natural way of reasoning about declaratively specified transactions.
[1]
Marianne Winslett,et al.
Updating logical databases
,
1990,
Cambridge tracts in theoretical computer science.
[2]
Raymond Reiter,et al.
On Specifying Database Updates
,
1995,
J. Log. Program..
[3]
Roel Wieringa,et al.
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
,
1995,
J. Log. Comput..
[4]
Frank Markham Brown.
The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop April 12-15, 1987 Lawrence, Kansas
,
1987
.
[5]
Remco Feenstra,et al.
LCM 3.0: A Language for describing Conceptual Models
,
1993
.
[6]
Fangzhen Lin,et al.
State Constraints Revisited
,
1994,
J. Log. Comput..