On the abductive or deductive nature of database schema validation and update processing problems

DOI10.1017/S1471068402001631zbMATH Open1087.68562OpenAlexW2062585187MaRDI QIDQ4452597FDOQ4452597

Authors: Ernest Teniente, Toni Urpí 

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068402001631

Recommendations

• scientific article; zbMATH DE number 559226
• KI 2004: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 48272
• Conceptual schemas applied to deductive databases
• Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
• Embedding deductive capabilities in relational database systems
• Model theoretic approach to view updates in deductive databases
• scientific article; zbMATH DE number 4085067

zbMATH Keywords

abductiondatabase updatingdatabase validationdeduction.

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (2)

• A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
• KI 2004: Advances in Artificial Intelligence

This page was built for publication: On the abductive or deductive nature of database schema validation and update processing problems

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