Foundations of Information and Knowledge Systems [[electronic resource] ] : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings / / edited by Dietmar Seipel, Jose M. Turull-Torres |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 324 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Database management Computer logic Computer science—Mathematics Information storage and retrieval User interfaces (Computer systems) Theory of Computation Database Management Logics and Meanings of Programs Discrete Mathematics in Computer Science Information Storage and Retrieval User Interfaces and Human Computer Interaction |
ISBN |
1-280-30684-X
9786610306848 3-540-24627-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Hypergraph Transversals -- Abstract State Machines: An Overview of the Project -- Regular Papers -- Database Repair by Signed Formulae -- Simplification of Integrity Constraints for Data Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using Answer Set Solvers -- Skyline Cardinality for Relational Processing -- Query Answering and Containment for Regular Path Queries under Distortions -- Weak Functional Dependencies in Higher-Order Datamodels -- Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists -- The Relative Complexity of Updates for a Class of Database Views -- Equivalence of OLAP Dimension Schemas -- A New Approach to Belief Modeling -- Computer-Oriented Calculi of Sequent Trees -- On Updates of Logic Programs: A Properties-Based Approach -- Minimal Keys in Higher-Order Datamodels -- Similarity Relational Calculus and Its Reduction to a Similarity Algebra -- Challenges in Fixpoint Computation with Multisets -- Towards a Generalized Interaction Scheme for Information Access -- Plan Databases: Model and Algebra. |
Record Nr. | UNISA-996465874603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Information and Knowledge Systems : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings / / edited by Dietmar Seipel, Jose M. Turull-Torres |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 324 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Database management Computer logic Computer science—Mathematics Information storage and retrieval User interfaces (Computer systems) Theory of Computation Database Management Logics and Meanings of Programs Discrete Mathematics in Computer Science Information Storage and Retrieval User Interfaces and Human Computer Interaction |
ISBN |
1-280-30684-X
9786610306848 3-540-24627-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Hypergraph Transversals -- Abstract State Machines: An Overview of the Project -- Regular Papers -- Database Repair by Signed Formulae -- Simplification of Integrity Constraints for Data Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using Answer Set Solvers -- Skyline Cardinality for Relational Processing -- Query Answering and Containment for Regular Path Queries under Distortions -- Weak Functional Dependencies in Higher-Order Datamodels -- Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists -- The Relative Complexity of Updates for a Class of Database Views -- Equivalence of OLAP Dimension Schemas -- A New Approach to Belief Modeling -- Computer-Oriented Calculi of Sequent Trees -- On Updates of Logic Programs: A Properties-Based Approach -- Minimal Keys in Higher-Order Datamodels -- Similarity Relational Calculus and Its Reduction to a Similarity Algebra -- Challenges in Fixpoint Computation with Multisets -- Towards a Generalized Interaction Scheme for Information Access -- Plan Databases: Model and Algebra. |
Record Nr. | UNINA-9910144208103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|