Equivalence checking for weak bi-Kleene algebra.
Tobias KappéPaul BrunetBas LuttikAlexandra SilvaFabio ZanasiPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- business intelligence
- propositional logic
- data model
- relational algebra
- boolean algebra
- regular expressions
- algebraic expressions
- query language
- decision making
- big data
- data types
- distributive lattices
- algebraic geometry
- real numbers
- expressive power
- real time
- rough sets
- relational databases
- information systems
- machine learning
- data sets