Sciweavers

5482 search results - page 19 / 1097
» Logic Programming and Databases
Sort
View
ER
1994
Springer
121views Database» more  ER 1994»
13 years 11 months ago
An Executable Meta Model for Re-Engineering of Database Schemas
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
Manfred A. Jeusfeld, Uwe A. Johnen
IJCAI
2007
13 years 8 months ago
From Answer Set Logic Programming to Circumscription via Logic of GK
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
Fangzhen Lin, Yi Zhou
DEXAW
2007
IEEE
96views Database» more  DEXAW 2007»
14 years 1 months ago
Logical Information Systems: from Taxonomies to Logics
Sébastien Ferré, Olivier Ridoux
DOOD
1993
Springer
135views Database» more  DOOD 1993»
13 years 11 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters
DBPL
1995
Springer
144views Database» more  DBPL 1995»
13 years 11 months ago
An Algebraic Framework for Physical OODB Design
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
Leonidas Fegaras, David Maier