Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints.
Jonathan Lindegaard StarupMagnus MadsenOndrej LhotákPublished in: ECOOP (2023)
Keyphrases
- design space
- design parameters
- deductive databases
- design space exploration
- design process
- design tools
- target class
- expressive power
- datalog queries
- response surface
- design choices
- query answering
- data sets
- positive and negative
- software engineering
- query language
- active learning
- image analysis
- case study
- artificial intelligence