scholarly journals Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance

2010 ◽  
pp. 146-161 ◽  
Author(s):  
Maja Pešić ◽  
Dragan Bošnački ◽  
Wil M. P. van der Aalst
Keyword(s):  
Declarative Languages

Database Integrity Checking

2009 ◽  
pp. 212-220 ◽  
Author(s):  
Hendrik Decker ◽  
Davide Martinenghi
Keyword(s):  
Predicate Logic ◽  
Historical Background ◽  
Integrity Constraints ◽  
Future Trends ◽  
Declarative Languages ◽  
Incremental Evaluation ◽  
Database Integrity ◽  
Integrity Checking ◽  
Semantic Correctness ◽  
Formal Representations

Integrity constraints (or simply “constraints”) are formal representations of invariant conditions for the semantic correctness of database records. Constraints can be expressed in declarative languages such as datalog, predicate logic, or SQL. This article highlights the historical background of integrity constraints and the essential features of their simplified incremental evaluation. It concludes with an outlook on future trends.

Sign in / Sign up

Export Citation Format

Share Document