Kleene Algebra of Weighted Programs with Domain.

Published in: DaLí (2023)

Keyphrases

domain specific
domain independent
data model
propositional logic
databases
real world
high level
relational databases
domain experts
regular expressions
relational algebra
cross domain
set theory
algebraic geometry