Monadic Datalog Containment

Michael Benedikt; Pierre Bourhis; Pierre Senellart

Conference Papers Year : 2012

Monadic Datalog Containment

(1) , (1) , (2, 3)

1
2
3

Michael Benedikt

Function : Author

Computing Science Laboratory - Oxford University

Pierre Bourhis

Function : Author

Computing Science Laboratory - Oxford University

Pierre Senellart

Function : Author
PersonId : 11778
IdHAL : pierre-senellart
ORCID : 0000-0002-7909-5369
IdRef : 124713769

Data, Intelligence and Graphs

Département Informatique et Réseaux

CV

Domains

Databases [cs.DB] Web Formal Languages and Automata Theory [cs.FL] Computational Complexity [cs.CC] Logic in Computer Science [cs.LO]

Admin Télécom Paristech : Connect in order to contact the contributor

https://hal-imt.archives-ouvertes.fr/hal-00737942

Submitted on : Wednesday, October 3, 2012-8:03:39 AM

Last modification on : Tuesday, February 28, 2023-3:36:24 PM

Dates and versions

hal-00737942 , version 1 (03-10-2012)

Identifiers

HAL Id : hal-00737942 , version 1

Cite

Michael Benedikt, Pierre Bourhis, Pierre Senellart. Monadic Datalog Containment. ICALP (International Colloquium on Automata, Languages, and Programming), Jul 2012, Warwick, Royaume-Uni. pp.79-91. ⟨hal-00737942⟩

Monadic Datalog Containment

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share