Query evaluation techniques for large databases

G Graefe - ACM Computing Surveys (CSUR), 1993 - dl.acm.org
Database management systems will continue to manage large data volumes. Thus, efficient
algorithms for accessing and manipulating large sets and sequences will be required to …

Semantic database modeling: Survey, applications, and research issues

R Hull, R King - ACM Computing Surveys (CSUR), 1987 - dl.acm.org
Most common database management systems represent information in a simple record-
based format. Semantic modeling provides richer data structuring capabilities for database …

[图书][B] Foundations of databases

S Abiteboul, R Hull, V Vianu - 1995 - sigmod.org
This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

Dynamo: Amazon's highly available key-value store

G DeCandia, D Hastorun, M Jampani… - ACM SIGOPS operating …, 2007 - dl.acm.org
Reliability at massive scale is one of the biggest challenges we face at Amazon. com, one of
the largest e-commerce operations in the world; even the slightest outage has significant …

[图书][B] Database management systems

R Ramakrishnan, J Gehrke - 2002 - dl.acm.org
Database Management Systems provides comprehensive and up-to-date coverage of the
fundamentals of database systems. Coherent explanations and practical examples have …

[图书][B] Non-functional requirements in software engineering

L Chung, BA Nixon, E Yu, J Mylopoulos - 2012 - books.google.com
Non-Functional Requirements in Software Engineering presents a systematic and pragmatic
approach tobuilding quality into'software systems. Systems must exhibit software quality …

Theory of the anomalous Hall effect from the Kubo formula and the Dirac equation

A Crépieux, P Bruno - Physical Review B, 2001 - APS
A model to treat the anomalous Hall effect is developed. Based on the Kubo formalism and
on the Dirac equation, this model allows the simultaneous calculation of the skew-scattering …

[图书][B] Robust composition: Towards a uni ed approach to access control and concurrency control

M Miller - 2006 - jscholarship.library.jhu.edu
When separately written programs are composed so that they may cooperate, they may
instead destructively interfere in unanticipated ways. These hazards limit the scale and …

Dynamic typing in a statically typed language

M Abadi, L Cardelli, B Pierce, G Plotkin - ACM transactions on …, 1991 - dl.acm.org
Statically typed programming languages allow earlier error checking, better enforcement of
diciplined programming styles, and the generation of more efficient object code than …

[图书][B] Transactional memory

JR Larus, R Rajwar - 2022 - books.google.com
The advent of multicore processors has renewed interest in the idea of incorporating
transactions into the programming model used to write parallel programs. This approach …