Scalable Uncertainty-Tolerant Business Rules

Business rules are of key importance for maintaining the correctness of business data. They also can help to contain the amount of uncertainty associated to business data and decisions based on them. However, business rule enforcement does not scale up easily to concurrent systems. That is due to two common exigencies: the postulates of total and of isolated business rule satisfaction. In order to limit the accumulation of uncertainty, we outline how measure-based uncertainty-tolerant business rules maintenance scales up to concurrent transactions, by refraining from the postulates of total and isolated rule satisfaction.

[1]  Giuseppe Berio,et al.  Enterprise Integration, Interoperability and Networking, Proceedings of the 5th IFAC/IFIP EI2N'2010 workshop, Lecture Notes in Computer Sciences, On the Move to Meaningful Internet Systems: OTM 2010: International Workshops, Hersonissou, Crete, Greece , 2010 .

[2]  Werner Vogels,et al.  Building reliable distributed systems at a worldwide scale demands trade-offs between consistency and availability. , 2022 .

[3]  Ronald G. Ross,et al.  Principles of the business rule approach: Ronald G. Ross, Addison-Wesley Information Technology Series, February 2003, 256pp., price £30.99, ISBN 0-201-78893-4 , 2004, Int. J. Inf. Manag..

[4]  C. J. Date.  What Not How: The Business Rules Approach to Application Development , 2000 .

[5]  Hendrik Decker.  Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency , 2011, 2011 11th International Conference on Quality Software.

[6]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[7]  Gerhard Weikum,et al.  CHAPTER FOUR – Concurrency Control Algorithms , 2002 .

[8]  Hendrik Decker,et al.  Answers That Have Quality , 2013, ICCSA.

[9]  Marc H. Scholl,et al.  Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery , 2001, SGMD.

[10]  Gottfried Vossen,et al.  Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery , 2002 .

[11]  Newer Sql.  Errors in Database Systems , Eventual Consistency , and the CAP Theorem , 2022 .

[12]  Charles T. Davies,et al.  Data Processing Spheres of Control , 1978, IBM Syst. J..

[13]  Hendrik Decker.  Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases , 2011, ICCSA.

[14]  Alfredo Cuzzocrea,et al.  Managing Uncertainty in Databases and Scaling It Up to Concurrent Transactions , 2012, SUM.

[15]  Jean-Marie Nicolas.  Logic for improving integrity checking in relational data bases⋆ , 2004, Acta Informatica.

[16]  Francesc D. Muñoz-Escoí,et al.  Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions , 2010, OTM Workshops.

[17]  Donald D. Chamberlin,et al.  Functional specifications of a subsystem for data base integrity , 1975, VLDB '75.

[18]  Richard Y. Wang,et al.  Data quality assessment , 2002, CACM.

[19]  Hendrik Decker.  New Measures for Maintaining the Quality of Databases , 2012, ICCSA.

[20]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[21]  Francesc D. Muñoz-Escoí,et al.  Extending Middleware Protocols for Database Replication with Integrity Support , 2008, OTM Conferences.

[22]  GrayJim,et al.  A critique of ANSI SQL isolation levels , 1995 .

[23]  Jef Wijsen,et al.  Certain Conjunctive Query Answering in SQL , 2012, SUM.

[24]  Alfredo Cuzzocrea,et al.  Mining of Diverse Social Entities from Linked Data , 2014, EDBT/ICDT Workshops.

[25]  Michael Stonebraker.  In search of database consistency , 2010, Commun. ACM.

[26]  Irving L. Traiger,et al.  Granularity of locks in a shared data base , 1975, VLDB '75.

[27]  Hendrik Decker.  Causes for inconsistency-tolerant schema update management , 2011, 2011 IEEE 27th International Conference on Data Engineering Workshops.

[28]  Hendrik Decker.  Partial Repairs That Tolerate Inconsistency , 2011, ADBIS.

[29]  David Taniar,et al.  Computational Science and Its Applications - ICCSA 2011 , 2011, Lecture Notes in Computer Science.

[30]  David Taniar,et al.  Computational Science and Its Applications – ICCSA 2013 , 2013, Lecture Notes in Computer Science.

[31]  K. Samelson.  ECI Conference 1976 , 1976, Lecture Notes in Computer Science.

[32]  Nancy A. Lynch,et al.  Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.

[33]  Zongmin Ma,et al.  Intelligent Databases: Technologies and Applications , 2006 .

[34]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

[35]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[36]  Henning Christiansen,et al.  Transaction Management with Integrity Checking , 2005, DEXA.

[37]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[38]  Jim Gray,et al.  A critique of ANSI SQL isolation levels , 1995, SIGMOD '95.

[39]  Elias Procópio Duarte,et al.  Distributed integrity checking for systems with replicated data , 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

[40]  Ajith Abraham.  Special issue: Hybrid approaches for approximate reasoning , 2012, J. Intell. Fuzzy Syst..

[41]  Paul W. P. J. Grefen.  Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem , 1993, VLDB.

[42]  Rudolf Bayer,et al.  Integrity, Concurrency, and Recovery in Databases , 1976, ECI.

[43]  Hendrik Decker,et al.  Inconsistency-Tolerant Integrity Checking , 2011, IEEE Transactions on Knowledge and Data Engineering.

[44]  Nancy A. Lynch,et al.  Correctness conditions for highly available replicated databases , 1986, PODC '86.

[45]  Alfredo Cuzzocrea.  Optimization issues of querying and evolving sensor and stream databases , 2014, Inf. Syst..

[46]  Georges Gardarin.  Integrity, Consistency, Concurrency, Reliability in Distributed Database Management Systems , 1980, DDB.

[47]  Abraham Silberschatz,et al.  Consistency in Hierarchical Database Systems , 1980, JACM.

[48]  Michael Stonebraker.  Technical perspectiveOne size fits all: an idea whose time has come and gone , 2008, CACM.

[49]  Dennis McLeod,et al.  Semantic integrity in a relational data base system , 1975, VLDB '75.

[50]  Hamidah Ibrahim.  Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases , 2006, 17th International Workshop on Database and Expert Systems Applications (DEXA'06).

[51]  Hendrik Decker,et al.  Integrity Checking and Maintenance in Relational and Deductive Database and Beyond , 2007 .

[52]  Stefan Böttcher.  Improving the Concurrency of Integrity Checks and Write Operations , 1990, ICDT.