ROSIE: Runtime Optimization of SPARQL Queries over RDF Using Incremental Evaluation

2018 ◽  
pp. 117-131
Author(s):  
Lei Gai ◽  
Xiaoming Wang ◽  
Tengjiao Wang
Keyword(s):  
Incremental Evaluation ◽  
Runtime Optimization

Measurement-driven design and runtime optimization in edge computing: Methodology and tools

2021 ◽  
pp. 108140
Author(s):  
Chiara Caiazza ◽  
Claudio Cicconetti ◽  
Valerio Luconi ◽  
Alessio Vecchio
Keyword(s):  
Computing Methodology ◽  
Edge Computing ◽  
Runtime Optimization

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