Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S.A., and Zaniolo, C., The LDL System Prototype. In IEEE TKDE, Vol. 2, n1, pp. 76--90, 1990.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....these relations are in rst normal form and nite. However, the classical relational model is rather restricted for some applications, and some database paradigms have extended this model. For instance: 1) deductive database systems which handle complex values in the form of sets and tuples [11, 8] violate the rst normal form (i.e. they allow multi valued attributes) and permit nested relations, although the relations are nite and the querying mechanism deals with nite relations; 2) constraint databases [13, 14] which generalize the relational model by considering tuples as quanti ....

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. A. Naqvi, S. Tsur, and C. Zaniolo. The LDL System Prototype. TKDE, 2(1):76-90, 1990.

....methods. It turns out that such an abstraction for declarative computation of association rules already exists. All we require is the availability of aggregate functions. Such functions are available in most logic based languages such as Prolog, and most deductive database systems such as LDL [5], CORAL [17] XSB [18] and RelationLog [10] In gure 4 we present the entire program called RULES needed to compute association rules from any knowledge base K. The predicate trans need not be a stored knowledge base fact. In fact, it can be an intentional predicate itself, de ned in terms of ....

D. Chimenti et. al. The LDL system prototype. IEEE Journal on Data and Knowledge Engineering, 2(1):76{ 90, 1990.

....UCLA in the summer of 2000, concludes a research project that was started at MCC in 1989 in response of the lessons learned from of its predecessor, the LDL system. The LDL system, which was completed 1988, featured many technical advances in language design [28] and implementation techniques [9]. However, its deployment in actual applications [49, 50] revealed many problems and needed improvements, which motivated the design of the new LDL system. Many of these problems were addressed in the early versions of the LDL prototype that were built at MCC in the period 1990 1993; but ....

.... select among applicable actions, and frame axioms can be expressed by XY stratified rules that describe changes from the old state to the new state [6] 16 3 The System The main objectives in the design of the LDL system, were (i) strengthening the architecture of the previous LDL system [9], ii) improving the system s usability and the application development turnaround time, and (iii) provide e#cient support for the new language constructs. While the first objective could be achieved by building on and extending the general architecture of the predecessor LDL system, the second ....

[Article contains additional citation context not shown here]

Chimenti, D. et al., "The LDL System Prototype," IEEE Journal on Data and Knowledge Engineering, vol. 2, no. 1, pp. 76-90, March 1990.

.... and implementation of a German natural language interface to a production planning and control system (PPC) Due to the high complexity of the application domain exceeding the capabilities of traditional relational DBMS, the PPC was modelled by use of the deductive database LDL implemented at MCC [2, 3]. The dictionary used in the natural language interface is built out of canonical forms as hierarchical deductive database in LDL. This allows to assign all morphological, syntactic, and semantic features to the appropriate level of abstraction (e.g. special derivations, word stems, endings, word ....

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur & C. Zaniolo. The LDL System Prototype. IEEE Trans. on Knowledge and Data, Vol. 2, No. 1, 1990.

....Engineering Environments . 303 ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 3, July 1997. On top of Expo 2.0, a layer of services is in charge of managing documents and tools. This layer exploits a centralized database implemented using Salad, a logical deductive DBMS [Chimenti et al. 1990]. EPOS. The EPOS architecture is depicted in Figure 2. It is composed of four layers: 1) An underlying EPOS DB built upon the C ISAM index sequential file system: EPOS DB is a proprietary, client server database that stores process models in the context of versioned, nested, long, and ....

CHIMENTI, D., GAMBA, R., KRISHNAMURTHY, R., NAQVI, S., TSUR, S., AND ZANIOLO, C. 1990. The LDL system prototype. IEEE Trans. Knowl. Data Eng. 2, 1 (Mar.).

....for complex computations, such as greedy algorithms and data mining functions, yielding levels of expressive power unmatched by other deductive database systems. Keywords: Deductive Databases, Nonmonotonic Reasoning, Stratification, Monotonic Aggregation 1 INTRODUCTION The LDL system (Chimenti et al. 1990) developed at MCC in the 80 s is representative of a generation of Deductive Database Systems (Minker 1996) that sought to integrate logic based rule languages into relational databases, in order to provide efficient and scalable support for sophisticated queries on large data sets and knowledge ....

....now included in most commercial database systems and SQL3 standards (Filkenstein et al. 1996) also it leads to the ability of the LDL LDL system to compile rules and predicates into SQL when these are supportable on external databases. These techniques have already been documented extensively (Chimenti et al. 1990, Ramakrishnan et al. 1993, Abiteboul et al. 1995, Ramakrishnan and Ullman 1995, Zaniolo et al. 1997) and will not be further discussed here. In this paper, we will instead discuss the nonmonotonic reasoning techniques that were developed later, largely in response to the experience of ....

[Article contains additional citation context not shown here]

Chimenti, D. et al. (1990). The LDL System Prototype. IEEE Transactions on Knowledge and Data Engineering, 2(1), 76-90 (1990).

.... the general issue of authorization in a deductive framework, only Cuppens addressed the issue of querying MLS deductive databases [7] The merits and exigencies of a deductive metaphor of MLS model is eloquently discussed in [26] In [22] Pernul et al. discuss a prototype developed in LDL [9] showing that the design process of an MLS relational database, and the assignment of security labels to data and clearances to users may be significantly enhanced using their prototype that is capable of reasoning about the security assignment of the data elements. Their deductive filter ....

D. Chimenti et. al. The LDL system prototype. IEEE Journal on Data and Knowledge Engineering, 2(1):76--90, 1990.

.... Basically, a deductive database is a logic program without function symbols, i.e. a datalog program (extended with negation) 55,14] A number of advanced deductive database systems have been developed that utilize logic programming and extensions thereof for querying relational databases [13,15,36,43,45]. The need for representing disjunctive (or incomplete) information led to disjunctive deductive databases [40] for which a generalization of the closed world assumption (CWA) had to be devised, whose complexity has been first analyzed in [17] Disjunctive deductive databases can be basically ....

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, C. Zaniolo. The LDL System Prototype. IEEE TKDE, Vol. 2, no. 1, 1990.

.... Basically, a deductive database is a logic program without function symbols, i.e. a datalog program (extended with negation) 54, 14] A number of advanced deductive database systems have been developed that utilize logic programming and extensions thereof for querying relational databases [13, 15, 36, 43, 45]. The need for representing disjunctive (or incomplete) information led to disjunctive deductive databases [40] for which a generalization of the closed world assumption (CWA) had to be devised, whose complexity has been rst analyzed in [17] Disjunctive deductive databases can be basically ....

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, C. Zaniolo. The LDL System Prototype. IEEE TKDE, Vol. 2, no. 1, 1990.

....prototype our focus has been in demonstrating the ease and elegance with which object oriented database applications can be modeled and programmed in a declarative manner. As an aside, we advocate through this demonstration that rapid prototyping using existing deductive systems like coral, LDL [1], etc. is convenient and efficient. We have, however, plans for the near future to directly implement a full fledged Orlog database system. 2 The Orlog System The prototype we present is an interface which provides a complete programming environment in Orlog by translating user programs into ....

D. Chimenti et. al. The LDL system prototype. IEEE Journal on Data and Knowledge Engineering, 2(1):76--90, 1990.

....programming with schema browsing, cooperative query answering, computing forms of aggregate queries which are beyond the scope of conventional database query languages, and database restructuring. SchemaLog has a higher order syntax, but unlike some of the previous languages like COL [AG87] LDL [Chi89], etc, and like HiLog [CKW93] and (a fragment of) F logic [KLW95] SchemaLog has a first order semantics. Indeed, it has a sound and complete proof theory [LSS96] A prototype This research was supported in part by grants from the Natural Sciences and Engineering Research Council of Canada and the ....

Chimenti, D. et al. The ldl system prototype. IEEE TKDE, 2(1):76--90, 1989.

....This makes it possible to implement ORLog in any first order database system that is capable of computing perfect models of programs. As it will be clear that no meta interpretation is necessary to compute perfect models of reduced programs. In [41] we explored the possibility of using LDL [32] as the host database system on which we built an ORLog interface. But its inability to support computation of perfect models based on local stratification was a major disadvantage. Since coral incorporates perfect model semantics as part of its negation semantics, we are inclined to use Coral at ....

D. Chimenti et. al. The LDL system prototype. IEEE Journal on Data and Knowledge Engineering, 2(1):76--90, 1990.

....bottomup using semi naive evaluation (with minor extensions) will generate all minimal conditional answers and will only generate valid conditional answers. We are currently working on an implementation of the extended magic sets method and SN evaluation on top of the LDL deductive DBMS [C 90] In future research, we would like to characterize query classes and databases (based on their structure) for which conditional answers can be generated efficiently. Another attractive direction is to identify weaker forms of completeness (as was done for first order queries see [La 89] ....

Chimenti, D. et al, "The LDL system prototype" in IEEE Trans. on Knowledge and Data Eng., Vol. 2. No. 1 (1990), pp. 76-90.

....database systems must monitor the database events, check conditions defined in the rules, and trigger actions when rule conditions are satisfied. Examples of active database systems include Postgres (Stonebraker et al. 1989) Starburst (Haas et al. 1990) Iris (Wilkinson et al. 1990) LDL (Chimenti et al. 1990), RDL1 (Kiernan et al. 1989) DIPS (Sellis et al. 1993) Ariel (Hanson, 1992) and DATEX (Brant and Miranker, 1993) All major commercial database systems also offer some active capability through triggers. Although we use the relational model and notations in this paper, the results of the ....

D. Chimenti et al. (1990). The ldl system prototype. IEEE Transactions on Knowledge and Data Engineering, 2(1), March.

....in any way. The stable semantics for logic programs is one of the best known semantics for logic programming with negation. We present a uniform translation of planning domains into logic programs whose stable models capture the set of goals achievable from the planning domain. The LDL system[2] that has been implemented over the years at MCC has facilities to support the use of the choice construct, and hence, LDL can be used as a platform upon which to develop efficient implementations of planning systems based upon the translation of planning domains to logic programs described ....

....this instance. The predicate choice is a special predicate that, for each instance of its first argument, nondeterministically picks a unique instance of the second argument hence the word choice. The semantics of such choice constructs have been extensively studied in the database literature [2, 11], and are fully implemented in the LDL system fielded by MCC [2] Frame Axioms. In addition, for each predicate p, we have the following rules in CH(P) p(J 1; t) add(J; p( t) 5) p(J 1; t) p(J; t) not(del(J; p( t) 6) The above two rules play a role akin to those of ....

[Article contains additional citation context not shown here]

D. Chimenti et. al. (1990) The LDL System Prototype, IEEE Trans. on Knowledge and Data Engineering, 2, 1, pps 76--90.

....field. The LDL system features a better integration with external databases, a new execution model, and various language extensions to support non deterministic and non monotonic programming. 1 Introduction The design of the LDL prototype was inspired by the experience with the LDL prototype [3], which was completed in 1989 and tested and deployed in many applications [17, 18, 19] This paper focuses on progress past the LDL system that has already been described in previous papers. In particular, the LDL language and its semantics, along with the theory that underlies its design, are ....

....past the LDL system that has already been described in previous papers. In particular, the LDL language and its semantics, along with the theory that underlies its design, are described in [9] a detailed description of the technology and architecture for the first LDL prototype is presented in [3]. The experience with the first generation prototype resulted in substantial feedback by users and opportunities for critical re evaluation of design choices. In the meantime, much technical progress occurred in the deductive database area. The result of these two combined forces was a significant ....

[Article contains additional citation context not shown here]

Chimenti, D. et al., "The LDL System Prototype," IEEE Journal on Data and Knowledge Engineering, vol. 2, no. 1, pp. 76-90, March 1990.

No context found.

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. "The LDL System Prototype." IEEE Trans. on Knowledge and Data Eng., 2(1), March 1990.

No context found.

Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S.A., and Zaniolo, C., The LDL System Prototype. In IEEE TKDE, Vol. 2, n1, pp. 76--90, 1990.

No context found.

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL System Prototype. IEEE TKDE, 2(1), 1990.

No context found.

Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S.A., and Zaniolo, C., The LDL System Prototype. In IEEE TKDE, Vol. 2, n1, pp. 76--90, 1990.

No context found.

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL System Prototype. IEEE TKDE, 2(1), 1990.

No context found.

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL System Prototype. IEEE TKDE, 2(1), 1990.

No context found.

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL System Prototype. IEEE TKDE, 2(1), 1990.

No context found.

D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL System Prototype. IEEE TKDE, 2(1), 1990. 288 Tina Dell'Armi et al.

No context found.

Chimenti, D. et al., "The LDL System Prototype," IEEE Journal on Data and Knowledge Engineering, vol. 2, no. 1, pp. 76-90, March 1990.

First 50 documents

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