Amanote Research

Amanote Research

    RegisterSign In

Proving the Safety of SQL Queries

doi 10.1109/qsic.2005.50
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
S. BrassC. Goldberg
Publisher

IEEE


Related search

Full Predicate Coverage for Testing SQL Database Queries

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2010English

Expressing and Optimizing Similarity-Based Queries in SQL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Answering Complex SQL Queries Using Automatic Summary Tables

2000English

Simple and Safe SQL Queries With C++ Templates

2007English

Intelligent Queries Based on Fuzzy Set Theory and SQL

2007English

Proving Safety Properties of Software

English

Proving Safety Properties of Rewrite Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

GPU Acceleration for SQL Queries on Large-Scale Distributed Systems

The Journal of Computational Science Education
2017English

Development of an Algorithm for Translating Natural Language Sentences Into SQL Queries

Theoretical & Applied Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy