Sciweavers

1008 search results - page 18 / 202
» Logic and Databases
Sort
View
DBPL
2001
Springer
113views Database» more  DBPL 2001»
14 years 4 days ago
Model-Checking Based Data Retrieval
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
Agostino Dovier, Elisa Quintarelli
JANCL
2006
123views more  JANCL 2006»
13 years 7 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas
WOLLIC
2009
Springer
14 years 2 months ago
Spoilt for Choice: Full First-Order Hierarchical Decompositions
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
Sebastian Link
FMLDO
2000
Springer
138views Database» more  FMLDO 2000»
13 years 11 months ago
Schema Evolution and Versioning: A Logical and Computational Characterisation
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
EJC
2003
13 years 9 months ago
A Dialogue Manager for Accessing Databases
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...
Salvador Abreu, Paulo Quaresma, Luis Quintano, Ire...