Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Logic Journal of the IGPL(1)
Proceedings of the National Conference on Artificial Intelligence(1)
Área temáticas
Inglés e inglés antiguo (anglosajón)(1)
Lengua(1)
Lingüística(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
Compilation of query-rewriting problems into tractable fragments of prepositional logic
Conference ObjectAbstract: We consider the problem of rewriting a query efficiently using materialized views. In the context ofPalabras claves:Autores:Arvelo Y., Bonet B., María-Esther VidalFuentes:scopusSyntactic characterizations of completeness using duals and operators
ArticleAbstract: This article extends the work laid down by Medina and Immerman for the syntactic characterization ofPalabras claves:Canonical forms, completeness, descriptive complexity, Dual operator, Syntactic operatorsAutores:Bonet B., Nerio BorgesFuentes:scopus