*** DRAFT ***

SQLite Requirement Matrix Details
lang_droptable.html

Index Summary Markup Original


R-01463-03846-55774-41515-18498-48278-35486-16549 tcl slt th3 src

The DROP TABLE statement removes a table added with the CREATE TABLE statement.

slt/slt_lang_droptable.test:19

/* IMP: R-01463-03846 */
# EVIDENCE-OF: R-01463-03846 The DROP TABLE statement removes a table
# added with the CREATE TABLE statement.

R-40197-14811-29578-36290-28063-57666-21739-57478 tcl slt th3 src

The dropped table is completely removed from the database schema and the disk file.

th3/req1/droptable01.test:24

/* IMP: R-40197-14811 */
# EVIDENCE-OF: R-40197-14811 The dropped table is completely removed
# from the database schema and the disk file.

R-33950-57093-23380-64554-61801-30987-12746-10574 tcl slt th3 src

All indices and triggers associated with the table are also deleted.

slt/slt_lang_droptable.test:36   th3/req1/droptable01.test:78

/* IMP: R-33950-57093 */
# EVIDENCE-OF: R-33950-57093 All indices and triggers associated with
# the table are also deleted.

R-57089-01510-52711-12029-01843-57322-48096-53622 tcl slt th3 src

The optional IF EXISTS clause suppresses the error that would normally result if the table does not exist.

th3/req1/droptable01.test:67

/* IMP: R-57089-01510 */
# EVIDENCE-OF: R-57089-01510 The optional IF EXISTS clause suppresses
# the error that would normally result if the table does not exist.

R-17535-15185-26123-07430-36338-10169-10447-08966 tcl slt th3 src

If foreign key constraints are enabled, a DROP TABLE command performs an implicit DELETE FROM command before removing the table from the database schema.

th3/req1/droptable01.test:93

/* IMP: R-17535-15185 */
# EVIDENCE-OF: R-17535-15185 If foreign key constraints are enabled, a
# DROP TABLE command performs an implicit DELETE FROM command before
# removing the table from the database schema.

R-48044-29703-58801-20879-03319-43155-48187-62436 tcl slt th3 src

Any triggers attached to the table are dropped from the database schema before the implicit DELETE FROM is executed, so this cannot cause any triggers to fire.

th3/req1/droptable01.test:115

/* IMP: R-48044-29703 */
# EVIDENCE-OF: R-48044-29703 Any triggers attached to the table are
# dropped from the database schema before the implicit DELETE FROM is
# executed, so this cannot cause any triggers to fire.

R-56522-34239-18790-35664-56574-22774-39070-01307 tcl slt th3 src

an implicit DELETE FROM does cause any configured foreign key actions to take place.

th3/req1/droptable01.test:97

/* IMP: R-56522-34239 */
# EVIDENCE-OF: R-56522-34239 an implicit DELETE FROM does cause any
# configured foreign key actions to take place.

R-26266-37313-29476-24640-23484-47513-24426-61925 tcl slt th3 src

If the implicit DELETE FROM executed as part of a DROP TABLE command violates any immediate foreign key constraints, an error is returned and the table is not dropped.

th3/cov1/fkey24.test:70   th3/req1/droptable01.test:133

/* IMP: R-26266-37313 */
# EVIDENCE-OF: R-26266-37313 If the implicit DELETE FROM executed as
# part of a DROP TABLE command violates any immediate foreign key
# constraints, an error is returned and the table is not dropped.

R-25359-61571-30835-46993-61423-15847-19094-36045 tcl slt th3 src

If the implicit DELETE FROM causes any deferred foreign key constraints to be violated, and the violations still exist when the transaction is committed, an error is returned at the time of commit.

th3/cov1/fkey24.test:82

/* IMP: R-25359-61571 */
# EVIDENCE-OF: R-25359-61571 If the implicit DELETE FROM causes any
# deferred foreign key constraints to be violated, and the violations
# still exist when the transaction is committed, an error is returned at
# the time of commit.