M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Proc. of DOOD, pages 187-212, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....for updating database views, and for specifying active rules. In object oriented databases, T R can be combined with object oriented logics, such as F logic [KLW95] to provide a logical account of methods procedures hidden inside objects that manipulate these objects internal states [Kif95] In AI, T R suggests a logical account of procedural knowledge and planning, and of subjunctive queries and counterfactuals. Other Logics. On the surface, there would seem to be many other logics available for specifying database transactions, since many logics reason about updates or about the ....

....framework within which users can make many kinds of distinctions, if they wish. For instance, a uniform treatment of queries and updates is needed in the object oriented domain, because object oriented systems do not sharply distinguish between state changing and information retrieving methods [Kif95] On the other hand, if a syntactic distinction is desired, then two sorts of predicates could be used, one for queries, 8 LOGICS FOR DATABASES AND INFORMATION SYSTEMS and one for updating transactions. This philosophy is quite di erent from the situation calculus [MH69] and from approaches ....

M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Intl. Conference on Deductive and Object-Oriented Databases, Lecture Notes in Computer Science, pages 187-212, Singapore, December 1995. Springer-Verlag. Keynote address at the 3d Intl. Conference on Deductive and Object-Oriented databases.

....languages also support functors, which are used to (i) store complex objects in the database, and (ii) in recursive rules to process structures of unbound length, as to achieve Turing completeness in the language. Extensions of complex objects are supported in deductive object oriented databases [24]. Compilation and Optimization Unlike Prolog, deductive databases draw a sharp distinction between facts (extensional information) and rules (intensional information) 28] The rules are treated as program, and thus compiled and executed against the database which contains a time varying set of ....

M. Kifer. Deductive and Object-Oriented Data Languages---A Quest for Integration. Proceedings Int. Conf. on Deductive and Object-Oriented Databases, DOOD'95, pp. 187-212, 1995.

....layer provides site independence in the sense that it integrates and reconciles heterogeneous information available from di erent sites, which is available through VPL in navigation independent, but nonetheless site speci c form. We had proposed techniques centered around Transaction F Logic [10, 9] that facilitate creation of wrappers for the virtual physical layer [6] Our architecture makes it possible to automate data extraction from web data sources to a much higher degree than was previously possible. But the design and implementation of the VPL itself was left open and is the subject ....

M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Proc. of DOOD, pages 187-212, 1995.

....Resurgence, by XSB, Inc. through the NSF SBIR Award 9960485, and by NSF grant INT9809945. 1 http: www.w3. org RDF FLORA is based on F logic [22] HiLog [11] and Transaction Logic [8, 6, 9] which are all incorporated into a single, coherent logic language along the lines described in [22, 21]. However, rather than developing our own deductive engine for F logic (such as the ones developed for FLORID [17, 27] or SiLRI [15] we chose to utilize an existing engine, XSB [29] and implement FLORA through source level translation to XSB. Apart from the bene ts of saving considerable amount ....

....of Transaction Logic has been demonstrated in various applications ranging from database updates, to robot action planning, to reasoning about actions, to work ow analysis, and many more [8, 10, 12] In FLORA 2. 0, F logic and Transaction Logic are integrated along the lines of the proposal in [21], and the corresponding implementation issues are described in Section 4. In Transaction Logic, both actions (transactions) and queries are represented as predicates. In the context of F logic, transactions are expressed as object methods. Underlying Transaction Logic are just a few basic ideas: ....

M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Int'l Conference on Deductive and Object-Oriented Databases, volume 1013 of Lecture Notes in Computer Science, pages 187-212, Singapore, December 1995. Springer-Verlag. Keynote address at the 3d Int'l Conference on Deductive and Object-Oriented databases.

....navigation has to deal with complex structures such as Web pages and forms in a declarative environment, and these structures are best represented as objects. Navigation calculus expressions should be executable specifications themselves. In our system, we chose a subset of Transaction Flogic [12], which to the best of our knowledge, is the only language that supports all the above features in a uniform fashion. Transaction F logic is an amalgamation of two other well known formalisms: F logic [14] and Transaction Logic [6] Although our navigation calculus is much more powerful (and ....

.... link(more) newdayCarFeatures(features, picture) carData (make, model, year, carPg form f1(make) newsday link(auto) link(l3) link(l4) form f2 (model, featrs) link(car features) link(listing) Figure 2: Navigation map for Newsday Classified Car Ads subset of serial Horn Transaction F logic [12], a natural cross between Transaction Logic [6] and F logic [14] In fact, the Florid system [9] based on F logic, has proved to be very successful for Web applications. Because Florid lacks the Transaction Logic component, it is not suitable to be used as a calculus for encoding navigation ....

[Article contains additional citation context not shown here]

M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Proc. of DOOD, pages 187--212, 1995.

....for updating database views, and for specifying active rules. In object oriented databases, T R can be combined with object oriented logics, such as F logic [KLW95] to provide a logical account of methods procedures hidden inside objects that manipulate these objects internal states [Kif95] In AI, T R suggests a logical account of procedural knowledge and planning, and of subjunctive queries and counterfactuals. Other Logics. On the surface, there would seem to be many other logics available for specifying database transactions, since many logics reason about updates or about the ....

....framework within which users can make many kinds of distinctions, if they wish. For instance, a uniform treatment of queries and updates is needed in the object oriented domain, because object oriented systems do not sharply distinguish between state changing and information retrieving methods [Kif95] On the other hand, if a syntactic dis 8 LOGICS FOR DATABASES AND INFORMATION SYSTEMS tinction is desired, then two sorts of predicates could be used, one for queries, and one for updating transactions. This philosophy is quite different from the situation calculus [MH69] and from approaches ....

M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Intl. Conference on Deductive and Object-Oriented Databases, Lecture Notes in Computer Science, pages 187--212, Singapore, December 1995. Springer-Verlag. Keynote address at the 3d Intl. Conference on Deductive and Object-Oriented databases.

.... object orientation) HiLog [12] higherorder logic programming) and Annotated Logic [3, 18, 19] reasoning with uncertainty) and it can be easily integrated with them to endow these static formalisms with the ability to capture database dynamics in a clean, logical fashion (cf. e.g. [16]) The communication paradigm within CT R is inspired by the calculus [26, 27] However, CT R is a programming logic, while calculus is an algebra used for specifying and verifying finite state concurrent systems (which databases and logic programs are not) Although there is growing interest ....

M. Kifer. Deductive and object-oriented data languages: A quest for integration. In Intl. Conference on Deductive and Object-Oriented Databases, volume 1013 of Lecture Notes in Computer Science, pages 187--212, Singapore, December 1995. Springer-Verlag. Keynote address at the 3d Intl. Conference on Deductive and Object-Oriented databases.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC