Filters








10 Hits in 0.79 sec

Triggered Real-Time Databases with Consistency Constraints

Henry F. Korth, Nandit Soparkar, Abraham Silberschatz
1990 Very Large Data Bases Conference  
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to execute a given set of transactions so as to both meet the deadlines and ensure the database consistency. This paper presents an alternative model of real-time database processing in which deadlines are associated with consistency constraints rather than directly with transactions. This model leads to a predicate-baaed
more » ... roach to transaction management that allows greater concurrency and more flexibility in modeling real-world systems.
dblp:conf/vldb/KorthSS90 fatcat:ecotijycbbclnioggfwgn5e5cu

The syntax of nonfinite complementation: An economy approach

1998 Computers and Mathematics with Applications  
Towards distributed real-time concurrency and coordination control (Paul Jensen, Nandit Soparkar and Malek Tayara). Part IX. Mobile computing. 13.  ... 
doi:10.1016/s0898-1221(97)80224-6 fatcat:3uy6ac4mjvgfzokdpmdp5mkjye

Non-commutative valuation rings and semi-hereditary orders

1998 Computers and Mathematics with Applications  
Towards distributed real-time concurrency and coordination control (Paul Jensen, Nandit Soparkar and Malek Tayara). Part IX. Mobile computing. 13.  ... 
doi:10.1016/s0898-1221(97)80225-8 fatcat:d7yijurnjvgylozoo74l642yx4

Computers and design in context

1998 Computers and Mathematics with Applications  
Towards distributed real-time concurrency and coordination control (Paul Jensen, Nandit Soparkar and Malek Tayara). Part IX. Mobile computing. 13.  ... 
doi:10.1016/s0898-1221(97)80223-4 fatcat:buqd6b3oeng2dgbakvwzo75hne

Advanced transaction models and architectures

1998 Computers and Mathematics with Applications  
Towards distributed real-time concurrency and coordination control (Paul Jensen, Nandit Soparkar and Malek Tayara). Part IX. Mobile computing. 13.  ... 
doi:10.1016/s0898-1221(97)80222-2 fatcat:6glu3y3jvbaxbejwomtjdntuhq

Persistent messages in local transactions

David E. Lowell, Peter M. Chen
1998 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98  
Satyanarayanan, Nandit Soparkar, and Willy Zwaenepoel for their timely insights that helped with the development of our thoughts in this paper. Figure 5: Vistagrams performance.  ...  Aspects of this model were proposed by Soparkar et al. as a construct for databases [Soparkar90] .  ... 
doi:10.1145/277697.277737 dblp:conf/podc/LowellC98 fatcat:zgdnwtgc4vc4tjfvjr3rdaysfi

Towards a Method of Searching a Diverse Theory Space for Scientific Discovery [chapter]

Joseph Phillips
2001 Lecture Notes in Computer Science  
Acknowledgments I thank my geophysicist Larry Ruff for his patience, my former advisors John Laird and Nandit Soparkar, and the National Physical Science Consortium and the Rackham Merit Fellowship for  ... 
doi:10.1007/3-540-45650-3_27 fatcat:3pbnfjylqjet7kqyvyu25i7il4

A taxonomy of correctness criteria in database applications

Krithi Ramamritham, Panos K. Chrysanthis
1996 The VLDB journal  
The authors thank Alex Buchmann for lively discussions about notions of consistencies and correctness and Nandit Soparkar, Amit Sheth, Greg Speegle and the anonymous referees for their comments on previous  ... 
doi:10.1007/s007780050017 fatcat:4bxzxkca3zcxjn5wqx7rovge44

Yuri, Logic, and Computer Science [chapter]

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
2010 Lecture Notes in Computer Science  
Charles Wallace, Yuri Gurevich, Nandit Soparkar: A Formal Approach to Recovery in Transaction-Oriented Database Systems.  ... 
doi:10.1007/978-3-642-15025-8_1 fatcat:ehjpkiqxzbh55k7waxqwzfhw6y

Piggyback Statistics Collection for Query Optimization: Towards a Self-Maintaining Database Management System

Q. Zhu
2004 Computer journal  
ACKNOWLEDGEMENTS The authors would like to thank Nandit Soparkar, Jacob Crossman, Jung-Uk Kim, Wahyudi Gunawan and Nicoles Markevis for their contributions to this project.  ... 
doi:10.1093/comjnl/47.2.221 fatcat:mrp73wqonjgc3oacwkuhjoqnca