Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Communications of the ACM
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
The ClustRa Telecom Database: High Availability, High Throughput, and Real-Time Response
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Typed callbacks for more robust behaviours
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Testing a database for race conditions with QuickCheck: none
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
An expression processor: a case study in refactoring haskell programs
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Static detection of race conditions in erlang
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Are high-level languages suitable for robust telecoms software?
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Metamodel based methodology for dynamic component systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Failover and takeover contingency mechanisms for network partition and node failure
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Declarative distributed advertisement system for iDTV: an industrial experience
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |
The Mnesia DBMS runs in the same adress space as the application owning the data, yet the application cannot destroy the contents of the data base. This provides for both fast accesses and efficient fault tolerance, normally conflicting requirements. The implementation is based on features in the Erlang programming language, in which Mnesia is embedded.