Minimal semantics for transaction specifications in a multi-modal logic

Broersen, Jan and Feenstra, Remco and Wieringa, Roel (1996) Minimal semantics for transaction specifications in a multi-modal logic. In: 6th International Workshop on Foundations of Models and Languages for Data and Objects, IDB 1996, September 16-20, 1996, Schloss Dagstuhl, Germany.

Preview

PDF
9Mb

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.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS)
Link to this item:	http://purl.utwente.nl/publications/80312
Official URL:	http://wwwiti.cs.uni-magdeburg.de/iti_db/workshops/IDB-96/Broersen.ps.gz
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page