• # QAGen

• Referenced in 3 articles [sw25442]
• methodology for testing a database management system (DBMS) is to generate a set of test ... queries on top of them. However, for DBMS testing, it would be a big advantage ... paper, we propose a novel way for DBMS testing. Instead of first generating a test ... testing facilitates a wide range of DBMS testing tasks such as testing of memory managers...
• # BerlinMOD

• Referenced in 2 articles [sw06649]
• sets of queries for benchmarking spatio-temporal DBMS. Instead of programming a dedicated generator software ... existing Secondo DBMS to create benchmark data. The benchmark is based on a simulation scenario ... present first benchmarking results for the Secondo DBMS. Whereas the benchmark focuses on range queries...
• # PargreSQL

• Referenced in 1 article [sw15819]
• basis of open-source POSTGRESQL DBMS. The paper describes the architecture and implementation of PargreSQL ... parallel database management system (DBMS) for distributed memory multiprocessors. PargreSQL is based upon PostgreSQL open ... source DBMS and exploits partitioned parallelism. The paper is devoted to development of a parallel ... database management system (DBMS) by means of embedding of the parallel query execution techniques based...
• # Timed Automata

• Referenced in 1 article [sw28568]
• approach based on Difference Bound Matrices (DBMs), which is practically used by model checkers ... basic forward analysis operations on DBMs. One of these operations is the Floyd-Warshall algorithm...