Toward a Verified Relational Database Management System

ACM SIGPLAN Notices - United States
doi 10.1145/1707801.1706329
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Toward a Verified Relational Database Management System

2010English

Usability and Design Considerations for an Autonomic Relational Database Management System

IBM Systems Journal
2003English

An Efficient Middleware for Storing and Querying XML Data in Relational Database Management System

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2011English

Memory Storage Issues of Temporal Database Applications on Relational Database Management Systems

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2010English

Database Management System

2018English

FishNET: An Automated Relational Database for Zebrafish Colony Management

PLoS Biology
ImmunologyMolecular BiologyGeneticsBiochemistryMicrobiology Biological SciencesAgriculturalNeuroscience
2019English

Orders: An Object Relational Database Query Reformulation System

English

Database Management System

English

Toward a Relational Economic Geography

Journal of Economic Geography
PlanningDevelopmentEconomicsEconometricsGeography
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy