Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure.
Christian PerceboisMartin StreckerHanh Nhi TranPublished in: SEFM (2013)
Keyphrases
- transitive closure
- directed acyclic graph
- quasi invariant
- directed graph
- undirected graph
- constraint databases
- expressive power
- weighted graph
- recursive queries
- query evaluation
- spanning tree
- first order logic
- relational algebra
- databases
- random variables
- query language
- similarity measure
- image sequences
- artificial intelligence