Sciweavers

FLOPS
2008
Springer
13 years 5 months ago
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
Susana Nieva, Jaime Sánchez-Hernánde...
INEX
2004
Springer
13 years 9 months ago
DocBase - The INEX Evaluation Experience
Abstract. Can a system designed primarily for the purpose of databasetype storage and retrieval be used for information-retrieval tasks? This was one of the questions that led us t...
Sriram Mohan, Arijit Sengupta
ICDT
2005
ACM
125views Database» more  ICDT 2005»
13 years 10 months ago
PTIME Queries Revisited
The existence of a language expressing precisely the PTIME queries on arbitrary structures remains the central open problem in the theory of database query languages. As it turns o...
Alan Nash, Jeffrey B. Remmel, Victor Vianu
OOPSLA
2007
Springer
13 years 10 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
SIGMOD
2005
ACM
360views Database» more  SIGMOD 2005»
14 years 4 months ago
NaLIX: an interactive natural language interface for querying XML
Database query languages can be intimidating to the nonexpert, leading to the immense recent popularity for keyword based search in spite of its significant limitations. The holy ...
Yunyao Li, Huahai Yang, H. V. Jagadish