Searching for "On First-Order-Logic Databases." – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Decidability of First-Order Logic Queries over Views
- …, first order logic, database queries, database views, conjunctive queries, unary views, inequality…
- Cited by 2 (0 self) – Add To MetaCart
-
Epistemic First-Order Queries over Description Logic Knowledge Bases
- …Epistemic First-Order Queries over Description Logic Knowledge Bases ∗ Diego Calvanese 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Cylindric Structures and Dependencies in Relational Databases
- … of the dependencies under consideration. 2 Databases and first order logic Let U be a fixed set 1 , which we call…
- Cited by 1 (0 self) – Add To MetaCart
-
Inductive Characterisation of Database Relations
- … in the context of relational databases. Alternatively, the correspondence between first-order logic and databases…
- Cited by 11 (8 self) – Add To MetaCart
-
Mining Spatial Association Rules in Census Data
- … variables, such as X and Y, or constants, such as low or high. In other words, subsets of first-order logic…
- Add To MetaCart
-
A Logical View of Structured Files
- … such files: updates are specified on the database view of the file. First, a naive approach…
- Cited by 21 (6 self) – Add To MetaCart
-
A Logical View of Structured Files
- … of updating such files: updates are specified on the database view of the file. First, a naive approach…
- Add To MetaCart
-
Ontology Database: a New Method for Semantic Modeling and an Application to Brainwave Data
- … in their survey make clear that there are firm connections between models, database implementations, and logics…
- Add To MetaCart
-
Set-Term Unification in a Logic Database Language
- … of these languages is more complex than the unification problem of first-order logic database languages…
- Add To MetaCart
-
Discovery of spatial association rules in geo-referenced census data: A relational mining approach
- … mining tool. Second, the expressive power of first-order logic in databases also allows us to specify a…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
