Results 1 - 10 of 1,291

Logic-Based Techniques In Data Integration

by Alon Y. Levy , 1999
"... The data integration problem is to provide uniform access to multiple heterogeneous information sources available online (e.g., databases on the WWW). This problem has recently received considerable attention from researchers in the fields of Artificial Intelligence and Database Systems. The data in ..."
Abstract - Cited by 112 (0 self) - Add to MetaCart
integration problem is complicated by the facts that (1) sources contain closely related and overlapping data, (2) data is stored in multiple data models and schemas, and (3) data sources have differing query processing capabilities. A key element in a data integration system is the language used to describe

Mulval: A logic-based network security analyzer

by Xinming Ou, Sudhakar Govindavajhala - In 14th USENIX Security Symposium , 2005
"... To determine the security impact software vulnerabilities have on a particular network, one must consider interactions among multiple network elements. For a vulnerability analysis tool to be useful in practice, two features are crucial. First, the model used in the analysis must be able to automati ..."
Abstract - Cited by 101 (19 self) - Add to MetaCart
, multistage vulnerability analysis on a network. MulVAL adopts Datalog as the modeling language for the elements in the analysis (bug specification, configuration description, reasoning rules, operating-system permission and privilege model, etc.). We easily leverage existing vulnerability-database

Logic-Based XPath Optimization

by Pierre Genevès, Jean-Yves Vion-Dury , 2004
"... XPath [5] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in many XML standards such as XSLT [4] and the forthcoming XQuery [10] database access language. Since efficient XML content ..."
Abstract - Cited by 12 (6 self) - Add to MetaCart
XPath [5] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in many XML standards such as XSLT [4] and the forthcoming XQuery [10] database access language. Since efficient XML

Towards A Deductive Object-Oriented Database Language

by Serge Abiteboul - Data & Knowledge Engineering , 1990
"... A language for databases with sets, tuples, lists, object identity and structural inheritance is proposed. The core language is logic-based with a fixpoint semantics. Methods with overloading and methods evaluated externally providing extensibility of the language are considered. Other important iss ..."
Abstract - Cited by 59 (0 self) - Add to MetaCart
A language for databases with sets, tuples, lists, object identity and structural inheritance is proposed. The core language is logic-based with a fixpoint semantics. Methods with overloading and methods evaluated externally providing extensibility of the language are considered. Other important

XIRQL: A Query Language for Information Retrieval in XML Documents

by Norbert Fuhr, Kai Großjohann , 2001
"... Based on the document-centric view of XML, we present the query language XIRQL. Current proposals for XML query languages lack most IR-related features, which are weighting and ranking, relevance-oriented search, datatypes with vague predicates, and semantic relativism. XIRQL integrates these featur ..."
Abstract - Cited by 190 (7 self) - Add to MetaCart
these features by using ideas from logic-based probabilistic IR models, in combination with concepts from the database area. For processing XIRQL queries, a path algebra is presented, that also serves as a starting point for query optimization.

Deriving Production Rules for Incremental View Maintenance

by Stefano Ceri, Jennifer Widom - In Proceedings of the Seventeenth International Conference on Very Large Data Bases , 1991
"... . It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for efficiently maintaining a given view can be a difficult and ad-hoc process. We provide a facility whereby a user defines a ..."
Abstract - Cited by 238 (25 self) - Add to MetaCart
: the materialized view is modified according to the sets of changes made to the base tables, which are accessible through logical tables provided by the rule language. However, for some operations substantial recomputation may be required. We give algorithms that, based on key information, perform syntactic

Logic-Based Semantic Query Optimization for Object Databases

by J. Grant, J. Gryz, J. Minker, L. Raschid
"... We present a technique for semantic query optimization (SQO) for object databases. We use the ODMG standard languages ODL and OQL. The object schema and object query are translated into a Datalog representation. Semantic knowledge about the object model and the particular application is expressed ..."
Abstract - Add to MetaCart
We present a technique for semantic query optimization (SQO) for object databases. We use the ODMG standard languages ODL and OQL. The object schema and object query are translated into a Datalog representation. Semantic knowledge about the object model and the particular application

Probabilistic Logic-based Characterization of Knowledge Discovery in Databases

by unknown authors
"... From the perspective of knowledge representation and reasoning as well as for the automation of the knowledge discovery process, we argue that a formal logical foundation is needed for KDD and suggest Bacchus ’ probability logic is a good choice. It is generally accepted that the unique and most imp ..."
Abstract - Add to MetaCart
of Bacchus ’ probability logic language. Furthermore, based on this logic, we propose a logic induction operator that defines the process through which all the potentially useful patterns embedded in the given data can be discovered. Hence, general knowledge discovery (independent of any application

Towards a Logic-based Production System Language

by Robert Kowalski, Fariba Sadri
"... Abstract. In this paper we present a system, called LPS, that combines production rules and logic programs in a single logic-based framework. The framework gives both an operational and model-theoretic semantics to production rules, and to logic programs extended with a database of facts that is mod ..."
Abstract - Add to MetaCart
Abstract. In this paper we present a system, called LPS, that combines production rules and logic programs in a single logic-based framework. The framework gives both an operational and model-theoretic semantics to production rules, and to logic programs extended with a database of facts

Logic-based Network Configuration and Management

by Salvador Abreu, Joaquim Godinho - Humboldt University , 2001
"... Universidade de vora's Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the man-agement and day-to-day operation of the Organization. It relies on a first-order logic Description Language to define the schema, represent data and computed rela ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
Universidade de vora's Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the man-agement and day-to-day operation of the Organization. It relies on a first-order logic Description Language to define the schema, represent data and computed
Results 1 - 10 of 1,291