Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hameurlain, Abdelkader (Editor), Küng, Josef (Editor), Wagner, Roland (Editor), Decker, Hendrik (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10620
• Subjects: Computer science.; Logic design.; Microprocessors.; Operating systems (Computers).; Computer logic.; Mathematical logic.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Logic Design.; Operating Systems.; Processor Architectures.

LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development i...

Table of Contents:

• Basic Postulates for Inconsistency Measures
• Batch Composite Transactions in Stream Processing
• Enhancing User Rating Database Consistency through Pruning
• A Second Generation of Peer-to-Peer Semantic Wikis
• Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant
• A Proximity-Based Understanding of Conditionals
• Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking.