Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures.
Théo LosekootThomas GenetThomas P. JensenPublished in: FSCD (2023)
Keyphrases
- data structure
- relational databases
- higher order
- algebraic structure
- aggregation functions
- neural network
- structural properties
- database
- multiscale
- data model
- basis functions
- desirable properties
- algebraic structures
- formal verification
- topological properties
- relational model
- expressive power
- information systems
- artificial intelligence
- databases
- data sets
- real time