Abstract | ||
---|---|---|
We present SVTe, a tool to validate relational database schemas that allows performing several tests to determine the correctness of a schema. When a test is satisfied, our tool provides an example of a database state satisfying the test. Otherwise, it gives an explanation. We describe the main functionalities of SVTe, its architecture and provide some experimental results. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1385269.1385281 | DBTest |
Keywords | Field | DocType |
main functionalities,relational database schema,database state,relational database,satisfiability,database schema | Architecture,Schema migration,Information retrieval,Relational database,Semi-structured model,Computer science,Correctness,Database schema,Database design,Schema (psychology),Database | Conference |
Citations | PageRank | References |
8 | 0.54 | 14 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carles Farré | 1 | 149 | 17.00 |
Guillem Rull | 2 | 93 | 11.24 |
Ernest Teniente | 3 | 1151 | 221.34 |
Toni Urpí | 4 | 306 | 81.32 |