An algebra of alignment for relational verification.
Timos AntonopoulosEric KoskinenTon Chanh LeRamana NagasamudramDavid A. NaumannMinh NgoPublished in: CoRR (2022)
Keyphrases
- data model
- algebraic operations
- relational data
- model checking
- relational algebra
- relational databases
- query language
- relational model
- algebraic expressions
- database systems
- face verification
- relational learning
- algebraic operators
- database query languages
- relational data model
- image alignment
- formal verification
- statistical relational learning
- databases
- aggregate functions
- asynchronous circuits
- database language
- algebraic structure
- functional verification
- data sets
- multi relational
- relational operators
- similarity measure
- data types
- boolean algebra
- database schema
- dynamic time warping