Semantics for update rule programs and implementation in a relational database management system.

In this paper, we present our research on defining a correct semantics for a class of update rule (UR) programs, and discuss implemanting these programs in a DBMS environment. Update rules execute by updating relations in a database which may cause the further execution of rules. A correct semantics...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	ACM transactions on database systems. 21, 4 (1996).
Tác giả chính:	Raschid, Louiqa
Tác giả khác:	Lobo, Jorge
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Constant maintenance. Deductive database. Fixpoint semantics. Rule-based systems. Stable model semantics. Update rules.