Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability

DISSERTATION

Year: 2012 University: Archive of Doctoral Theses and Digital Collections (University of Calabria) Publisher: University of Calabria

DOI: 10.13126/unical.it/dottorati/1138

Abstract

Dottorato di Ricerca in Matematica ed Informatica, Ciclo XXV, a.a. 2011-2012

Keywords:

Datalog Existentialism Scalability Computer science Programming language Theoretical computer science Epistemology Database Philosophy

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Semantic Web and Ontologies

Physical Sciences → Computer Science → Artificial Intelligence