Trading integrity for availability by means of explicit runtime constraints

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2006, Pages 14-17

  Froihofer, Lorenz ^a   Osrael, Johannes ^a   Goeschka, Karl M ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER NETWORKS; CONSTRAINT THEORY; INFORMATION MANAGEMENT;

DATA INTEGRITY; NETWORK PARTITION;

SECURITY OF DATA;

EID: 34247497311     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2006.172     Document Type: Conference Paper

References (16)

1. A. Avižlenis, J.-C. Laprie, B. Rondell, and C. E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput., 1(1): 11-33, 2004.
2. R. Balzer. Tolerating inconsistency. In Proceedings of the 13th international conference on Software engineering, pages 158-165. IEEE Computer Society Press, 1991.
3. H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O'Neil, and P. O'Neil. A critique of ansi sql isolation levels. SIGMOD Rec., 24(2):1-10, 1995.
4. P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
5. F. Cristian. Understanding fault-tolerant distributed systems. Communications of the ACM, 34(2):56-78, 1991.
6. S. B. Davidson, H. Garcia-Molina, and D. Skeen. Consistency in a partitioned network: a survey. ACM Comput. Surv., 17(3):341-370, 1985.
7. M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32(2):374-382, 1985.
8. A. A. Helal, A. A. Heddaya, and B. B. Bhargava. Replication Techniques in Distributed Systems. Kluwer Academic Publishers, 1996.
9. M. Herlihy and J. Wing. Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst., 12(3):463-492, 1990.
10. H. V. Jagadish and X. Qian. Integrity maintenance in object-oriented databases. In Proceedings of the 18th International Conference on Very Large Data Bases, pages 469-480. Morgan Kaufmann Publishers Inc., 1992.
11. J. Osrael, L. Froihofer, K. M. Goeschka, S. Beyer, P. Galdámez, and F. D. Muñoz Escoi. A system architecture for enhanced availability of tightly coupled distributed systems. In Proceedings of the 1st International Conference on Availability, Reliability and Security. IEEE Computer Society, April 2006.
12. C. Pu and A. Leff. Replica control in distributed systems: an asynchronous approach. In SIGMOD '91: Proceedings of the 1991 ACM SIGMOD international conference on Management of data, pages 377-386, New York, NY, USA, 1991. ACM Press.
13. A. Ricciardi, A. Schiper, and K. Birman. Understanding partitions and the "non partition" assumption. In IEEE Proc. of Fourth Workshop on Future Trends of Distributed Systems, 1993.
14. R. Smeikal and K. M. Goeschka. Fault-tolerance in a distributed management system: a case study. In ICSE '03: Proceedings of the 25th International Conference on Software Engineering, pages 478-483, Washington, DC, USA, 2003. IEEE Computer Society.
15. B. Verheecke and R. V. D. Straeten. Specifying and implementing the operational use of constraints in object-oriented applications. In Proceedings of the Fortieth International Conference on Tools Pacific, pages 23-32. Australian Computer Society, Inc., 2002.
16. H. Yu and A. Vahdat. Design and evaluation of a conit-based continuous consistency model for replicated services. ACM Trans. Comput. Syst., 20(3):239-282, 2002.