On the computational aspect of rule based database updates

DOI10.1007/3-540-45517-5_9MaRDI QIDQ2772497zbMATH OpenFDO

Authors Yun Bai, Yan Zhang

Publication date 19 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2070/20700071

zbMATH Keywords

automated problem solvingintelligent databasesknowledge representation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Computing methodologies and applications (68U99)

Recommendations

• Update rules in datalog programs
• Logic program-based updates
• Update rules in Datalog programs
• scientific article; zbMATH DE number 44621
• scientific article; zbMATH DE number 2084427

Cited in

(10)

• A procedural semantics for stratified database updates
• On complexity of updates through integrity constraints
• scientific article; zbMATH DE number 4094868 (Why is no real title available?)
• Update rules in datalog programs
• Monitoring complex rule conditions
• Database updates and transition constraints: A formula-based approach
• scientific article; zbMATH DE number 2084427 (Why is no real title available?)
• scientific article; zbMATH DE number 1487814 (Why is no real title available?)
• Update rules in Datalog programs
• Compromised updates in labelled databases

This page was built for publication: On the computational aspect of rule based database updates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2772497)