Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Finite Axiomatizability by Disjunctive Existential Rules
Marco Calautti, Marco Console, Andreas Pieris
Rule-based languages lie at the core of several areas of central importance to databases and artificial intelligence such as deductive databases and knowledge representation and re…
cs.LO2024
Characterizing Data Dependencies Then and Now
Phokion G. Kolaitis, Andreas Pieris
Data dependencies are integrity constraints that the data of interest must obey. During the 1980s, Janos Makowsky made a number of contributions to the study of data dependencies;…