Sciweavers

1008 search results - page 31 / 202
» Logic and Databases
Sort
View
128
Voted
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 2 months ago
On Generalized Records and Spatial Conjunction in Role Logic
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
Viktor Kuncak, Martin C. Rinard
ER
1994
Springer
121views Database» more  ER 1994»
15 years 6 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
136
Voted
CL
2000
Springer
15 years 6 months ago
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
Abstract. 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 object-oriented m...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 6 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
DBPL
2001
Springer
118views Database» more  DBPL 2001»
15 years 7 months ago
On Monotone Data Mining Languages
Abstract. We present a simple Data Mining Logic (DML) that can express common data mining tasks, like “Find Boolean association rules” or “Find inclusion dependencies.” At ...
Toon Calders, Jef Wijsen