Advertisement

Foundations of Information and Knowledge Systems

4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

  • Jürgen Dix
  • Stephen J. Hegner
Conference proceedings FoIKS 2006

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

Table of contents

  1. Front Matter
    PDF

  2. Invited Presentation

    1. The Semijoin Algebra
      Jan Van den Bussche
      Pages 1-1

  3. Regular Papers

    1. Equational Constraint Solving Via a Restricted Form of Universal Quantification
      Javier Álvez, Paqui Lucio
      Pages 2-21
    2. Modeling the Evolution of Objects in Temporal Information Systems
      A. Artale, C. Parent, S. Spaccapietra
      Pages 22-42
    3. Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel
      Joachim Biskup, Piero Bonatti
      Pages 43-62
    4. Iterative Modification and Incremental Evaluation of Preference Queries
      Jan Chomicki
      Pages 63-82
    5. On the Number of Independent Functional Dependencies
      János Demetrovics, Gyula O. H. Katona, Dezső Miklós, Bernhard Thalheim
      Pages 83-91
    6. Arity and Alternation: A Proper Hierarchy in Higher Order Logics
      Flavio A. Ferrarotti, José M. Turull Torres
      Pages 92-115
    7. Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results
      Gianluigi Greco
      Pages 116-136
    8. The Nested List Normal Form for Functional and Multivalued Dependencies
      Sven Hartmann, Sebastian Link
      Pages 137-158
    9. Axiomatising Functional Dependencies for XML with Frequencies
      Sven Hartmann, Thu Trinh
      Pages 159-178
    10. Guarded Open Answer Set Programming with Generalized Literals
      Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 179-200
    11. Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
      Ian Horrocks, Andrei Voronkov
      Pages 201-218
    12. Consistency Checking Algorithms for Restricted UML Class Diagrams
      Ken Kaneiwa, Ken Satoh
      Pages 219-239
    13. Some Contributions to the Minimum Representation Problem of Key Systems
      Gyula O. H. Katona, Krisztián Tichler
      Pages 240-257
    14. On Multivalued Dependencies in Fixed and Undetermined Universes
      Sebastian Link
      Pages 258-277
    15. Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context
      Nicolas Spyratos, Carlo Meghini
      Pages 278-293
    16. Processing Ranked Queries with the Minimum Space
      Yufei Tao, Marios Hadjieleftheriou
      Pages 294-312
    17. Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm
      Agnes Vathy-Fogarassy, Attila Kiss, Janos Abonyi
      Pages 313-330
  4. Back Matter
    PDF

About these proceedings

Keywords

Unified Modeling Language (UML) XML complexity database design database logics database queries finite model theory formal logics formal reasoning information systems logic logic programming logical foundations modeling programming

Editors and affiliations

  • Jürgen Dix
    • 1
  • Stephen J. Hegner
    • 2
  1. 1.Clausthal University of TechnologyClausthal-ZellerfeldGermany
  2. 2.Department of Computing ScienceUmeå UniversityUmeåSweden

Bibliographic information

  • DOI https://doi.org/10.1007/11663881
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-31782-1
  • Online ISBN 978-3-540-31784-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site