| |
|
| Artikel-Nr.: 5667A-9783540209652 Herst.-Nr.: 9783540209652 EAN/GTIN: 9783540209652 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Dietmar Seipel; Jose M. Turull-Torres | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Informationssystem, Wissensbasiertes System, LA, complexity, database, database design, database management, database queries, finite model theory, formal logics, information agents |
| | |
| |