Skip to main content
Springer Nature Link
Log in

Foundations of Information and Knowledge Systems

Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Dietmar Seipel

    1. Universität Würzburg, Würzburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. José María Turull-Torres

    1. Department of Information Systems, Massey University, Information Science Research Centre, Wellington, New Zealand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2942)

Included in the following conference series:

Conference proceedings info: FoIKS 2004.

  • 7516 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Hypergraph Transversals

      • Georg Gottlob
      Pages 1-5

    2. Abstract State Machines: An Overview of the Project

      • Yuri Gurevich
      Pages 6-13

  3. Regular Papers

    1. Database Repair by Signed Formulae

      • Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
      Pages 14-30

    2. Simplification of Integrity Constraints for Data Integration

      • Henning Christiansen, Davide Martinenghi
      Pages 31-48

    3. On the Security of Individual Data

      • János Demetrovics, Gyula O. H. Katona, Dezső Miklós
      Pages 49-58

    4. Implementing Ordered Choice Logic Programming Using Answer Set Solvers

      • Marina De Vos
      Pages 59-77

    5. Skyline Cardinality for Relational Processing

      • Parke Godfrey
      Pages 78-97

    6. Query Answering and Containment for Regular Path Queries under Distortions

      • Gösta Grahne, Alex Thomo
      Pages 98-115

    7. Weak Functional Dependencies in Higher-Order Datamodels

      • Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
      Pages 116-133

    8. Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists

      • Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
      Pages 134-154

    9. The Relative Complexity of Updates for a Class of Database Views

      • Stephen J. Hegner
      Pages 155-175

    10. Equivalence of OLAP Dimension Schemas

      • Carlos A. Hurtado, Claudio Gutiérrez
      Pages 176-195

    11. A New Approach to Belief Modeling

      • V. N. Huynh, Y. Nakamori, T. Murai, T. B. Ho
      Pages 196-212

    12. Computer-Oriented Calculi of Sequent Trees

      • Alexander Lyaletski
      Pages 213-230

    13. On Updates of Logic Programs: A Properties-Based Approach

      • Mauricio Osorio, Fernando Zacarías
      Pages 231-241

    14. Minimal Keys in Higher-Order Datamodels

      • Attila Sali
      Pages 242-251

    15. Similarity Relational Calculus and Its Reduction to a Similarity Algebra

      • Ingo Schmitt, Nadine Schulz
      Pages 252-272

    16. Challenges in Fixpoint Computation with Multisets

      • Nematollaah Shiri, Zhi Hong Zheng
      Pages 273-290

    17. Towards a Generalized Interaction Scheme for Information Access

      • Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos
      Pages 291-301
Back to top

Other volumes

  1. Foundations of Information and Knowledge Systems

Editors and Affiliations

  • Universität Würzburg, Würzburg, Germany

    Dietmar Seipel

  • Department of Information Systems, Massey University, Information Science Research Centre, Wellington, New Zealand

    José María Turull-Torres

Bibliographic Information

Publish with us

Policies and ethics

Back to top