Filters








7,771 Hits in 4.0 sec

A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases [article]

Andreas Behrend
2011 arXiv   pre-print
Within the research area of deductive databases three different database tasks have been deeply investigated: query evaluation, update propagation and view updating.  ...  Over the last thirty years various inference mechanisms have been proposed for realizing these main functionalities of a rule-based system.  ...  The analysis of view updating requests usually leads to alternative view update realizations which are represented in disjunctive form.  ... 
arXiv:1108.5451v1 fatcat:cyy6y7bk2nfhbg2pmkkoibvl4m

The View-Update Problem for Indefinite Databases [chapter]

Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński, Ester Zumpano
2012 Lecture Notes in Computer Science  
The paper formalizes views over such databases as indefinite deductive databases, and defines for them several classes of database repairs that realize view-update requests.  ...  They narrow down the space of alternative ways to fulfill the view-update request to those that are grounded, in a certain strong sense, in the database, the view and the view-update request.  ...  Clearly, a deductive database with the empty view is a database with ICs, and a deductive database with the empty view and no ICs is simply a database. Definition 7.  ... 
doi:10.1007/978-3-642-33353-8_11 fatcat:cnrtmpvhnvhyzmerwyhazcl4ka

Comparative study of view update algorithms in rational choice theory

Radhakrishnan Delhibabu
2014 Applied intelligence (Boston)  
Many different view update algorithms have been proposed in the literature to address this problem. The present paper provides a comparative study of view update algorithms in rational approach.  ...  We show that knowledge base dynamics has interesting connection with kernel change via hitting set and abduction.  ...  Acknowledgement The author acknowledges the support of RWTH Aachen, where he is visiting scholar with an Erasmus Mundus External Cooperation Window India4EU by the European Commission when the paper was  ... 
doi:10.1007/s10489-014-0580-7 fatcat:sn36tauryzez3bqbnfnurmbxju

The View-Update Problem for Indefinite Databases [article]

Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2012 arXiv   pre-print
The paper formalizes views over such databases as indefinite deductive databases, and defines for them several classes of database repairs that realize view-update requests.  ...  They narrow down the space of alternative ways to fulfill the view-update request to those that are grounded, in a certain strong sense, in the database, the view and the view-update request.  ...  Clearly, a deductive database with the empty view is a database with ICs, and a deductive database with the empty view and no ICs is simply a database. Definition 7.  ... 
arXiv:1205.4655v1 fatcat:4karmakvu5h4ro7v6dznr3xwh4

On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems [article]

Ernest Teniente, Toni Urpi
2003 arXiv   pre-print
In this way, we show that these procedures can deal with all database schema validation and update processing problems considered in this paper.  ...  We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition  ...  Let D be a deductive database, A(D) its augmented database, u an update request and T i a set of base events.  ... 
arXiv:cs/0312046v1 fatcat:wc754mlywveqjcldyovtkdz76i

A new rational algorithm for view updating in relational databases

Radhakrishnan Delhibabu, Andreas Behrend
2014 Applied intelligence (Boston)  
In this paper, we show how techniques from disjunctive logic programming can be used for efficient (deductive) database updates.  ...  The key idea is to transform the given database together with the update request into a disjunctive (datalog) logic program and apply disjunctive techniques (such as minimal model reasoning) to solve the  ...  Acknowledgement The author acknowledges the support of RWTH Aachen, where he is visiting scholar with an Erasmus Mundus External Cooperation Window India4EU by the European Commission when the paper was  ... 
doi:10.1007/s10489-014-0579-0 fatcat:fl74d34xefejdixejgrdmgruaq

Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates [article]

Radhakrishnan Delhibabu
2015 arXiv   pre-print
In this paper, we show how techniques from disjunctive logic programming can be used for efficient (deductive) database updates.  ...  The key idea is to transform the given database together with the update request into a disjunctive (datalog) logic program and apply disjunctive techniques (such as minimal model reasoning) to solve the  ...  solving view update requests in deductive databases.  ... 
arXiv:1501.06206v2 fatcat:ktavsd2e5nf57lkv4wxbxzk4rq

Cumulative Updates

Suryanarayana M. Sripada, Beat Wüthrich
1994 Very Large Data Bases Conference  
Many thanks are also due to Mudasser Wyne for his kind help in the timely submission of this paper.  ...  Introduction Abstract When an update to a view is requested by a user, there may be no unique way of up dating the stored relations in the database to realize the requested update.  ...  Proceedings of the 20th VLDB Conference Santiago, Chile, 1994 When a view update is requested by a user, there may be no unique way of updating the stored relations in the database to realize the requested  ... 
dblp:conf/vldb/SripadaW94 fatcat:ijqhjxgyqrdllcmchk6prbfmoe

Extension of the relational database semantic processing model

T. Hirao
1990 IBM Systems Journal  
Functions SELECT Current + Recursion and inferencing INSERT Current with RI (RESTRICT) + Constraint check and value check DELETE Current with RI (RESTRICT, SET NULL, CASCADE) UPDATE = _ Current with RI  ...  Referential integrity in a relational model, such aS DATABASE 2™ (DB2™) Version 2, is realized with the definition of the table using a FOREIGN KEY phrase in the CREATE statement.’° The relational data  ... 
doi:10.1147/sj.294.0539 fatcat:cnj5elhlufbhfmjr2xq7oya734

Ontology-Based Resource Matching in the Grid – The Grid Meets the Semantic Web [chapter]

Hongsuda Tangmunarunkit, Stefan Decker, Carl Kesselman
2003 Lecture Notes in Computer Science  
The resource matching problem in the Grid involves assigning resources to tasks in order to satisfy task requirements and resource policies.  ...  In this paper, we propose a flexible and extensible approach for solving resource matching in the Grid using semantic web technologies.  ...  The query is then processed by the TRIPLE/XSB deductive database system using matchmaking rules, in combination with background knowledge and ontologies, to find the best match for the request.  ... 
doi:10.1007/978-3-540-39718-2_45 fatcat:vwn2j7dzpnfu5hbiryrj6zzgmy

A Rational and Efficient Algorithm for View Revision in Databases

R. Delhibabu, G. Lakemeyer
2013 Applied Mathematics & Information Sciences  
of belief to be declared as immutable; and second, the belief state need not be deductively closed.  ...  We show that Horn knowledge base dynamics has interesting connection with kernel change and abduction.  ...  Acknowledgement The first author acknowledges the support of RWTH Aachen, where he is visiting scholar with an Erasmus Mundus External Cooperation Window India4EU by the European Commission when the paper  ... 
doi:10.12785/amis/070302 fatcat:vqchwxttrjahno6qjltsbue5ui

Database research at Arizona State University

Susan D. Urban, Suzanne W. Dietrich, Forouzan Golshani
1996 SIGMOD record  
W., "Maintenance of Materialized Views in Deductive Databases: An Update Propagation Approach," Proc. of the Deductive Database Workshop in conjunction with the Joint Int.  ...  Active rules in CDOL are modeled as conditional term rewrite rules that rewrite the current database state. Rules communicate using messages that represent update requests and occurrences of events.  ... 
doi:10.1145/381854.381892 fatcat:bnelyai2lrh5jlypswa5grgh5a

Constraint Enforcement Through Production Rules: Putting Active Databases at Work

Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca
1992 IEEE Data Engineering Bulletin  
Active databases is not only an area of current research interest, but commercial vendors of database systems are providing "active" functionality to their users, e.g., via triggers and constraints.  ...  It contains a request for you to provide information so that we can continue to bring you the bulletin in a timely and cost effective way.  ...  References Acknowledgment We thank Jennifer Widom for giving us the opportunity of testing our ideas in the context of the Starburst Production Rule System.  ... 
dblp:journals/debu/CeriFPT92 fatcat:l25qkyc7rbawjpgj4z3r366l4y

Ravel

Anduo Wang, Xueyuan Mei, Jason Croft, Matthew Caesar, Brighten Godfrey
2016 Proceedings of the Symposium on SDN Research - SOSR '16  
A key challenge in realizing this approach is to orchestrate multiple simultaneous abstractions that collectively affect the same underlying data.  ...  To achieve this, Ravel enhances the database with novel data integration mechanisms that merge the multiple views into a coherent forwarding behavior.  ...  Given a view update request as input, the protocol produces as output an orchestrated update set that respects all applications constraints (subject to conflict resolution).  ... 
doi:10.1145/2890955.2890970 dblp:conf/sosr/WangMCCG16 fatcat:mbnlu5mlwbd3beorrkyjq6upsy

Distributed diagnosis by vivid agents

Michael Schroeder, Gerd Wagner
1997 Proceedings of the first international conference on Autonomous agents - AGENTS '97  
The interpreter is based on PVM-Prolog, an extension of standard Prolog with message passing facilities.  ...  In this article, we i n troduce a meta-logic interpreter for vivid agents which allows to develop distributed monitoring and diagnosis systems consisting of a variety of scalable knowledge-and perception-based  ...  The following Physical Reaction: do((V )) calls a procedure realizing the action with parameters V .  ... 
doi:10.1145/267658.267728 dblp:conf/agents/SchroederW97 fatcat:hxumtxw3hbhg3a6opf26wuhoyq
« Previous Showing results 1 — 15 out of 7,771 results