What's Decidable About (Atomic) Polymorphism?

Paolo Pistone Luca Tranchini

Published in: FSCD (2021)

Keyphrases

first order logic
transitive closure
expressive power
data sets
databases
information retrieval
social networks
case study
data structure
expert systems
xml documents
situation calculus
datalog programs
query containment