ODE: Ontology-assisted data extraction
Online databases respond to a user query with result records encoded in HTML files. Data extraction, which is important...
Formal semantics for time in databases
The concept of a historical database is introduced as a tool for modeling the dynamic nature of some part...
Database description with SDM: a semantic database model
SDM is a high-level semantics-based database description and structuring formalism (database model) for databases. This database model is designed...
Consequences of assuming a universal relation
Although central to the current direction of dependency theory, the assumption of a universal relation is incompatible with some...
A normal form for precisely characterizing redundancy in nested relations
We give a straightforward definition for redundancy in individual nested relations and define a new normal form that precisely...
Database abstractions: aggregation and generalization
Two kinds of abstraction that are fundamentally important in database design and usage are defined. Aggregation is an abstraction...
Explaining ambiguity in a formal query language
The problem of generating reasonable natural language-like responses to queries formulated in nonnavigational query languages with logical data independence...
A formal approach to the definition and the design of conceptual schemata for databased...
A formal approach is proposed to the definition and the design of conceptual database diagrams to be used as...
Incomplete information costs and database design
This paper presents a methodology for trading-off the cost of incomplete information against the data-related costs in the design...
Computational problems related to the design of normal form relational schemas
Problems related to functional dependencies and the algorithmic design of relational schemas are examined. Specifically, the following results are...