An Algebra of Alignment for Relational Verification.
Timos AntonopoulosEric KoskinenTon Chanh LeRamana NagasamudramDavid A. NaumannMinh NgoPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- data model
- algebraic operations
- relational model
- relational algebra
- relational data model
- query language
- relational databases
- model checking
- relational data
- image alignment
- aggregate functions
- entity relationship
- face verification
- word alignment
- boolean algebra
- algebraic operators
- sequence alignment
- database design
- data sets
- relational calculus
- databases
- database query languages
- database systems
- graphical models
- database language
- database schema
- fingerprint verification
- dynamic time warping
- statistical relational learning
- ontology matching
- real numbers
- formal verification
- signature verification
- relational learning