DAGSTUHL 2007 | Sciweavers

38

DAGSTUHL
1998

100views Software Engineering» more DAGSTUHL 1998»

A Practical Approach to Hypothetical Database Queries

13 years 10 months ago

Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...

Henning Christiansen, Troels Andreasen

claim paper

Read More »

22

click to vote

DAGSTUHL
1998

100views Software Engineering» more DAGSTUHL 1998»

Evolving Logical Specification in Information Systems

13 years 10 months ago

Download wwwiti.cs.uni-magdeburg.de

Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina...

claim paper

Read More »

27

click to vote

DAGSTUHL
1998

91views Software Engineering» more DAGSTUHL 1998»

Temporal Logic in Information Systems

13 years 10 months ago

Download www.cs.uwaterloo.ca

Jan Chomicki, David Toman

claim paper

Read More »

23

click to vote

DAGSTUHL
1998

95views Software Engineering» more DAGSTUHL 1998»

Introduction to Logics for Databases and Information Systems

13 years 10 months ago

Download wwwiti.cs.uni-magdeburg.de

Jan Chomicki, Gunter Saake

claim paper

Read More »

20

click to vote

DAGSTUHL
1998

106views Software Engineering» more DAGSTUHL 1998»

Description Logics for Conceptual Data Modeling

13 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

21

click to vote

DAGSTUHL
1998

71views Software Engineering» more DAGSTUHL 1998»

Results on Reasoning about Updates in Transaction Logic

13 years 10 months ago

Download www.cs.sunysb.edu

Anthony J. Bonner, Michael Kifer

claim paper

Read More »

24

click to vote

DAGSTUHL
1998

73views Software Engineering» more DAGSTUHL 1998»

The State of Change: A Survey

13 years 10 months ago

Download www.cs.sunysb.edu

Anthony J. Bonner, Michael Kifer

claim paper

Read More »

35

click to vote

DAGSTUHL
1998

168views Software Engineering» more DAGSTUHL 1998»

Active-U-Datalog: Integrating Active Rules in a Logical Update Language

13 years 10 months ago

Download circe.di.unipi.it

Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...

Elisa Bertino, Barbara Catania, Vincenzo Gervasi, ...

claim paper

Read More »

23

click to vote

DAGSTUHL
1998

97views Software Engineering» more DAGSTUHL 1998»

Segmented Iterators and Hierarchical Algorithms

13 years 10 months ago

Download lafstern.org

Abstract. Many data structures are naturally segmented. Generic algorithms that ignore that feature, and that treat every data structure as a uniform range of elements, are unneces...

Matthew H. Austern

claim paper

Read More »

25

click to vote

DAGSTUHL
1998

63views Software Engineering» more DAGSTUHL 1998»

ISR: An Intelligent Service Robot

13 years 10 months ago