Minimal semantics for transaction specifications in a multi-modal logic

Jan Broersen, Remco Feenstra, Roelf J. Wieringa

    Research output: Contribution to conferencePaperpeer-review

    12 Downloads (Pure)

    Abstract

    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.
    Original languageUndefined
    Number of pages10
    Publication statusPublished - Sep 1996
    Event6th International Workshop on Foundations of Models and Languages for Data and Objects, IDB 1996 - Schloss Dagstuhl, Germany
    Duration: 16 Sep 199620 Sep 1996

    Workshop

    Workshop6th International Workshop on Foundations of Models and Languages for Data and Objects, IDB 1996
    Period16/09/9620/09/96
    OtherSeptember 16-20, 1996

    Keywords

    • SCS-Services
    • EWI-10707
    • IR-80312

    Cite this