Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
 SIGMOD RECORD 2002
 ADBIS 2002
CIKM 2002
CoopIS 2002
 EDBT 2002
 ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
 DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
 KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
 SIGIR 2002
 SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

Georg Lausen

Papers on DiSC'03


Conjunctive Query Containment in the Presence of Disjunctive Integrity Constraints

Adaptive Evaluation Techniques for Querying XML-based E-Catalogs

Publications


Note: Links lead to the DBLP on the Web.

Georg Lausen

65 Pedro José Marrón , Georg Lausen, Martin Weber : Catalog Integration Made Easy. BTW 2003 : 98-107

64 Georg Lausen, Fang Wei : On the Containment of Conjunctive Queries. Computer Science in Perspective 2003 : 231-244

63 Fang Wei , Georg Lausen: Containment of Conjunctive Queries with Safe Negation. ICDT 2003 : 346-360

62 Pedro José Marrón , Georg Lausen: Efficient Cache Answerability for XPath Queries. DIWeb 2002 : 35-45

61 Fang Wei , Georg Lausen: Conjunctive Query Containment in the Presence of Disjunctive Integrity Constraints. Description Logics 2002

60 Pedro José Marrón , Georg Lausen: Efficient Cache Answerability for XPath Queries. EEXTT 2002 : 183-199

59 Fang Wei , Georg Lausen: Conjunctive Query Containment in the Presence of Disjunctive Integrity Constraints. KRDB 2002

58 Georg Lausen, Pedro José Marrón : Adaptive Evaluation Techniques for Querying XML-based E-Catalogs. RIDE 2002

57 Lule Ahmedi , Georg Lausen: Ontology-Based Querying of Linked XML Documents. Semantic Web Workshop 2002

56 Lule Ahmedi , Pedro José Marrón , Georg Lausen: LDAP-based Ontology for Information Integration. BTW 2001 : 207-214

55 Fang Wei , Georg Lausen: A Formal Analysis of the Lightweight Directory Access Protocol. ER Workshops 2001 : 306-319

54 Lule Ahmedi , Pedro José Marrón , Georg Lausen: Ontology-based Access to heterogeneous XML Data. GI Jahrestagung (1) 2001 : 337-344

53 Pedro José Marrón , Georg Lausen: On Processing XML in LDAP. VLDB 2001 : 601-610

52 Iztok Savnik , Georg Lausen, Hans-Peter Kahle , Heinrich Spiecker , Sebastian Hein : Algorithm for Matching Sets of Time Series. PKDD 2000 : 277-288

51 Georg Lausen, Iztok Savnik , Aldar Dougarjapov : MSTS: A System for Mining Sets of Time Series. PKDD 2000 : 289-298

50 Wolfgang May , Rainer Himmeröder , Georg Lausen, Bertram Ludäscher : A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web. ER Workshops 1999 : 307-320

49 Rainer Himmeröder , Paul-Thomas Kandzia , Bertram Ludäscher , Wolfgang May , Georg Lausen: Search, Analysis, and Integration of Web Documents: A Case Study with FLORID. DDLP 1998 : 47-58

48 Georg Lausen, Bertram Ludäscher , Wolfgang May : On Logical Foundations of Active Databases. Logics for Databases and Information Systems 1998 : 389-422

47 Georg Lausen, Bertram Ludäscher , Wolfgang May : On Active Deductive Databases: The Statelog Approach. Transactions and Change in Logic Databases 1998 : 69-106

46 Bertram Ludäscher , Georg Lausen: Handling Termination in a Logical Language for Active Rules. Informatica (Lithuanian Academy of Sciences) 9 (1): 65-84 (1998)

45 Bertram Ludäscher , Rainer Himmeröder , Georg Lausen, Wolfgang May , Christian Schlepphorst : Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective. Information Systems 23 (8): 589-613 (1998)

44 Jürgen Frohn , Rainer Himmeröder , Paul-Thomas Kandzia , Georg Lausen, Christian Schlepphorst : FLORID - Ein Prototyp fuer F-Logik. BTW 1997 : 100-117

43 Wolfgang May , Bertram Ludäscher , Georg Lausen: Well-Founded Semantics for Deductive Object-Oriented Database Languages. DOOD 1997 : 320-336

42 Rainer Himmeröder , Georg Lausen, Bertram Ludäscher , Christian Schlepphorst : On a Declarative Semantics for Web Queries. DOOD 1997 : 386-398

41 Jürgen Frohn , Rainer Himmeröder , Paul-Thomas Kandzia , Georg Lausen, Christian Schlepphorst : FLORID: A Prototype for F-Logic. ICDE 1997 : 583

40 Bertram Ludäscher , Wolfgang May , Georg Lausen: Referential Actions as Logic Rules. PODS 1997 : 217-227

39 Wolfgang May , Christian Schlepphorst , Georg Lausen: Integrating Dynamic Aspects into Deductive Object-Oriented Databases. Rules in Database Systems 1997 : 20-34

38 Bertram Ludäscher , Wolfgang May , Georg Lausen: Nested Transactions in a Logical Language for Active Rules. Logic in Databases 1996 : 197-222

37 Georg Lausen: Datenbanksysteme in Büro, Technik und Wissenschaft (BTW), GI-Fachtagung, Dresden, 22.-24. März 1995, Proceedings. Springer 1995

36 Bertram Ludäscher , Ulrich Hamann , Georg Lausen: A Logical Framework for Active Rules. COMAD 1995 : 0-

35 Georg Lausen, Eljas Soisalon-Soininen : Safety by Uninterpreted Locks. Information and Computation 117 (1): 37-49 (1995)

34 Michael Kifer , Georg Lausen, James Wu : Logical Foundations of Object-Oriented and Frame-Based Languages. JACM 42 (4): 741-843 (1995)

33 Georg Lausen, Bertram Ludäscher : Updates by Reasoning about States. East/West Database Workshop 1994 : 17-30

32 Jürgen Frohn , Georg Lausen, Heinz Uphoff : Access to Objects by Path Expressions and Rules. VLDB 1994 : 273-284

31 Jürgen Frohn , Georg Lausen: Integration heterogener relationaler Datenbankschemata mittels eines objektorientierten Datenmodells. BTW 1993 : 285-295

30 Georg Lausen, Kai von Luck : Verwaltung und Verarbeitung von strukturierten Objekten. KI 1993 : 183-185

29 Serge Abiteboul , Georg Lausen, Heinz Uphoff , Emmanuel Waller : Methods and Rules. SIGMOD Conference 1993 : 32-41

28 Georg Lausen, Gunter Saake : A Possible World Semantics for Updates by Versioning. FMLDO 1992 : 36-47

27 Georg Lausen, Heinz Uphoff : Nicht-Monotone Vererbung in F-Logik. Grundlagen von Datenbanken 1992 : 105-109

26 Michael Kramer , Georg Lausen, Gunter Saake : Updates in a Rule-Based Language for Objects. VLDB 1992 : 251-262

25 Georg Lausen: Locking Based on a Pairwise Decomposition of the Transaction System. Discrete Applied Mathematics 40 (2): 217-236 (1992)

24 Jürgen Seib , Georg Lausen: Parallele Evaluierung von Datalog-Programmen. BTW 1991 : 344-361

23 Georg Lausen, Beate Marx : Eine Einführung in Frame-Logik. Entwicklungstendenzen bei Datenbanksystemen 1991 : 173-202

22 Jürgen Seib , Georg Lausen: Parallelizing Datalog Programs by Generalized Pivoting. PODS 1991 : 241-251

21 Georg Lausen, Beate Marx : Evaluation Aspects of an Object-oriented Deductive Database Language. Query Processing for Advanced Database Systems, Dagstuhl 1991 : 177-200

20 Andreas Oberweis , Jürgen Seib , Georg Lausen: PASIPP: Ein Hilfsmittel zur Analyse und Simulation von Prädikate/Transitionen-Netzen. Wirtschaftsinformatik 33 (3): 219-230 (1991)

19 Georg Lausen, Eljas Soisalon-Soininen , Peter Widmayer : On the Power of Safe Locking. JCSS 40 (2): 269-288 (1990)

18 Georg Lausen, Eljas Soisalon-Soininen : Locling Policies and Predeclared Transactions. MFDBS 1989 : 317-336

17 Michael Kifer , Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989 : 134-146

16 Georg Lausen: Modeling and Analysis of the Behavior of Information Systems. TSE 14 (11): 1610-1620 (1988)

15 Georg Lausen, Helmut Müller , Tibor Németh , Andreas Oberweis , Frank Schönthaler , Wolffried Stucky : Integritätssicherung für die datenbankgestützte Software-Produktionsumgebung INCOME. BTW 1987 : 152-156

14 Frank Schönthaler , Andreas Oberweis , Georg Lausen, Wolffried Stucky : Prototyping zur Unterstützung des konzeptuellen Entwurfs interaktiver Informationssysteme. EMISA 1987 : 155-180

13 Andreas Oberweis , Georg Lausen: On the Representation of Temporal Knowledge in Office Systems. Temporal Aspects in Information Systems 1987 : 125-139

12 Georg Lausen, Eljas Soisalon-Soininen , Peter Widmayer : Towards Online Schedulers Based on Pre-Analysis Locking. ICDT 1986 : 242-259

11 Georg Lausen, Eljas Soisalon-Soininen , Peter Widmayer : Pre-analysis Locking. Information and Control 70 (2/3): 193-215 (1986)

10 Georg Lausen: Conceptual Modelling Based on Net Refinements. DS-1 1985 : 41-57

9 Georg Lausen, Andreas Oberweis , Frank Schönthaler : Formale Beschreibung von Anforderungen: Eine netzorientierte Vorgehensweise zur konzeptuellen Modellierung von Informationssystemen. GI Jahrestagung 1985 : 156-167

8 Georg Lausen, Eljas Soisalon-Soininen , Peter Widmayer : Pre-Analysis Locking: A Safe and Deadlock Free Locking Policy. VLDB 1985 : 270-281

7 Georg Lausen, Eljas Soisalon-Soininen , Peter Widmayer : Maximal Concurrency by Locking. PODS 1984 : 38-44

6 Georg Lausen: Integrated Concurrency Control in Shared B-Trees. Computing 33 (1): 13-26 (1984)

5 Georg Lausen: Formal aspects of optimistic concurrency control in a multiple version database system. IS 8 (4): 291-301 (1983)

4 Georg Lausen: Concurrency Control in Versionen-Datenbanksystemen. GI Jahrestagung 1982 : 669-683

3 R. Krieger , Georg Lausen, Wolffried Stucky : Methodischer Datenentwurf beim Aufbau betrieblicher Informationssysteme. Angewandte Informatik 24 (3): 191-203 (1982)

2 Georg Lausen: Serializability Problems of Interleaved Database Transactions. ECI 1981 : 252-265

1 Jakob Karszt , R. Krieger , Georg Lausen, Wolffried Stucky : Designing the Conceptual Database Schema - A Framework for an Interactive Approach. GI Jahrestagung 1981 : 216-226




DiSC'03 © 2003 Association for Computing Machinery