Sciweavers

155 search results - page 14 / 31
» Non-Determinism in Deductive Databases
Sort
View
CORR
2011
Springer
185views Education» more  CORR 2011»
13 years 4 months ago
Sound and Complete Query Answering in Intensional P2P Data Integration
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
Zoran Majkic
VLDB
1993
ACM
121views Database» more  VLDB 1993»
14 years 1 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis
IJAR
2007
96views more  IJAR 2007»
13 years 9 months ago
A paraconsistent logic programming approach for querying inconsistent databases
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
Sandra de Amo, Mônica Sakuray Pais
ADC
2006
Springer
142views Database» more  ADC 2006»
14 years 3 months ago
An optimization for query answering on ALC database
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
Pakornpong Pothipruk, Guido Governatori
VLDB
1990
ACM
89views Database» more  VLDB 1990»
14 years 1 months ago
Database Updates through Abduction
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...
Antonis C. Kakas, Paolo Mancarella