An agda formalisation of the transitive closure of block matrices (extended abstract).
Adam Sandberg ErikssonPatrik JanssonPublished in: TyDe@ICFP (2016)
Keyphrases
- extended abstract
- transitive closure
- coefficient matrix
- expressive power
- constraint databases
- query evaluation
- recursive queries
- query language
- directed acyclic graph
- first order logic
- spatial databases
- database
- binary relations
- relational algebra
- data management
- relational databases
- knowledge base
- artificial intelligence
- databases