Amanote Research
Register
Sign In
Toward a Verified Relational Database Management System
doi 10.1145/1706299.1706329
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2010
Authors
Gregory Malecha
Greg Morrisett
Avraham Shinnar
Ryan Wisnesky
Publisher
ACM Press
Related search
Toward a Verified Relational Database Management System
ACM SIGPLAN Notices
Computer Science
Usability and Design Considerations for an Autonomic Relational Database Management System
IBM Systems Journal
An Efficient Middleware for Storing and Querying XML Data in Relational Database Management System
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Memory Storage Issues of Temporal Database Applications on Relational Database Management Systems
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Database Management System
FishNET: An Automated Relational Database for Zebrafish Colony Management
PLoS Biology
Immunology
Molecular Biology
Genetics
Biochemistry
Microbiology
Biological Sciences
Agricultural
Neuroscience
Orders: An Object Relational Database Query Reformulation System
Database Management System
Toward a Relational Economic Geography
Journal of Economic Geography
Planning
Development
Economics
Econometrics
Geography
