On the public citation graph

Generating consistent test data: Restricting the search space by a generator formula

https://doi.org/10.1007/bf01232186
0 signed · 61 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-19074-0_69openalex-snapshot
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
inferredcites →https://doi.org/10.1007/3-540-50171-1_22openalex-snapshot
View update translation via deduction and annotation
inferredcites →https://doi.org/10.1007/978-1-4612-5196-5_10openalex-snapshot
On the Design and Specification of Database Transactions
inferredcites →https://doi.org/10.1007/978-1-4615-8297-7openalex-snapshot
Advances in Data Base Theory
inferredcites →https://doi.org/10.1007/978-1-4615-8297-7_5openalex-snapshot
A Method for Helping Discover the Dependencies of a Relation
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_3openalex-snapshot
On Closed World Data Bases
inferredcites →https://doi.org/10.1007/978-3-642-69796-8openalex-snapshot
Approaches to Prototyping
inferredcites →https://doi.org/10.1007/978-3-642-73005-4_24openalex-snapshot
A Hyperresolution-based Proof Procedure and Its Implementation in Prolog
inferredcites →https://doi.org/10.1007/bf00263192openalex-snapshot
Logic for improving integrity checking in relational data bases?
inferredcites →https://doi.org/10.1007/bf03037514openalex-snapshot
Updating knowledge bases
inferredcites →https://doi.org/10.1007/bf03037523openalex-snapshot
Updating knowledge bases II
inferredcites →https://doi.org/10.1007/bfb0012847openalex-snapshot
SATCHMO: A theorem prover implemented in Prolog
inferredcites →https://doi.org/10.1016/0020-0190(83)90005-4openalex-snapshot
Armstrong databases for functional and inclusion dependencies
inferredcites →https://doi.org/10.1016/0022-0000(89)90002-0openalex-snapshot
Automatic generation of test data for relational queries
inferredcites →https://doi.org/10.1016/0167-9236(86)90063-1openalex-snapshot
Checking consistency of database constraints: a logical basis,
inferredcites →https://doi.org/10.1016/0169-023x(93)90031-jopenalex-snapshot
Database design with user-definable modelling concepts
inferredcites →https://doi.org/10.1016/0306-4379(83)90032-7openalex-snapshot
The automatic generation of test data for a relational database
inferredcites →https://doi.org/10.1109/69.43425openalex-snapshot
Conceptual transaction modeling
inferredcites →https://doi.org/10.1145/115302.115298openalex-snapshot
Reactive consistency control in deductive databases
inferredcites →https://doi.org/10.1145/1634.1887openalex-snapshot
Updates of Relational Views
inferredcites →https://doi.org/10.1145/322344.322347openalex-snapshot
Horn clauses and database dependencies
inferredcites →https://doi.org/10.1145/358080.358095openalex-snapshot
An assessment of the prototyping approach to information systems development
inferredcites →https://doi.org/10.5555/324493.324576openalex-snapshot
TEAM: An Experimental Transportable Natural-Language Interface.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781118818565.ch4openalex-snapshot
Multi‐Dimensional Models
inferred← citeshttps://doi.org/10.1002/smr.263openalex-snapshot
Consistent database sampling as a database prototyping approach
inferred← citeshttps://doi.org/10.1007/978-1-4419-8656-6_7openalex-snapshot
Tool Support
inferred← citeshttps://doi.org/10.1007/978-3-642-21064-8_2openalex-snapshot
Grr: Generating Random RDF
inferred← citeshttps://doi.org/10.1007/bfb0024359openalex-snapshot
Enhancing the quality of conceptual database specifications through validation
inferred← citeshttps://doi.org/10.1007/bfb0054481openalex-snapshot
Building consistent sample databases to support information system evolution and migration
inferred← citeshttps://doi.org/10.1007/s00778-006-0028-8openalex-snapshot
A framework for efficient regression tests on database applications
inferred← citeshttps://doi.org/10.1007/s00778-014-0354-1openalex-snapshot
MyBenchmark: generating databases for query workloads
inferred← citeshttps://doi.org/10.1007/s10515-008-0044-6openalex-snapshot
Scalable satisfiability checking and test data generation from modeling diagrams
inferred← citeshttps://doi.org/10.1016/0169-023x(93)90031-jopenalex-snapshot
Database design with user-definable modelling concepts
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.02.003openalex-snapshot
A formal framework for database sampling
inferred← citeshttps://doi.org/10.1016/j.is.2009.11.002openalex-snapshot
Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies
inferred← citeshttps://doi.org/10.1016/j.jss.2005.06.028openalex-snapshot
Semantic errors in SQL queries: A quite complete list
inferred← citeshttps://doi.org/10.1016/s0950-5849(01)00165-3openalex-snapshot
Database sampling with functional dependencies
inferred← citeshttps://doi.org/10.1109/icde.2007.367896openalex-snapshot
Reverse Query Processing
inferred← citeshttps://doi.org/10.1109/icde.2011.5767876openalex-snapshot
Generating test data for killing SQL mutants: A constraint-based approach
inferred← citeshttps://doi.org/10.1109/icsap.2009.18openalex-snapshot
Database Instances Generation Tool for White-Box Testing
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00175openalex-snapshot
Testing Database Systems via Differential Query Execution
inferred← citeshttps://doi.org/10.1109/qsic.2004.30openalex-snapshot
Semantic errors in SQL queries: a quite complete list
inferred← citeshttps://doi.org/10.1109/qsic.2005.27openalex-snapshot
Fault-Based Testing of Database Application Programs with Conceptual Data Model
inferred← citeshttps://doi.org/10.1109/tkde.2006.190openalex-snapshot
Generating Queries with Cardinality Constraints for DBMS Testing
inferred← citeshttps://doi.org/10.1145/1142473.1142572openalex-snapshot
Testing database applications
inferred← citeshttps://doi.org/10.1145/1273463.1273484openalex-snapshot
Dynamic test input generation for database applications
inferred← citeshttps://doi.org/10.1145/1321631.1321635openalex-snapshot
Scalable automatic test data generation from modeling diagrams
inferred← citeshttps://doi.org/10.1145/1385269.1385276openalex-snapshot
Multi-RQP
inferred← citeshttps://doi.org/10.1145/2001420.2001428openalex-snapshot
Scalable analysis of conceptual data models
inferred← citeshttps://doi.org/10.1145/2393596.2393637openalex-snapshot
Scalable test data generation from multidimensional models
inferred← citeshttps://doi.org/10.1145/3368089.3409710openalex-snapshot
Detecting optimization bugs in database engines via non-optimizing reference engine construction
inferred← citeshttps://doi.org/10.1145/3428279openalex-snapshot
Finding bugs in database systems via query partitioning
inferred← citeshttps://doi.org/10.1145/3712311.3712315openalex-snapshot
Navigating Tabular Data Synthesis Research Understanding User Needs and Tool Capabilities
inferred← citeshttps://doi.org/10.1145/3799227openalex-snapshot
A Comprehensive Survey on Database Management System Fuzzing: Techniques, Taxonomy and Evaluation
inferred← citeshttps://doi.org/10.1145/940071.940086openalex-snapshot
A family of test adequacy criteria for database-driven applications
inferred← citeshttps://doi.org/10.14778/1453856.1453910openalex-snapshot
Generating XML structure using examples and constraints
inferred← citeshttps://doi.org/10.14778/3659437.3659445openalex-snapshot
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction
inferred← citeshttps://doi.org/10.3724/sp.j.1087.2011.00948openalex-snapshot
Data generation method of database system test based on reverse query process
inferred← citeshttps://doi.org/10.4304/jsw.7.8.1855-1860openalex-snapshot
Detecting Offline Transaction Concurrency Problems
inferred← citeshttps://doi.org/10.5334/dsj-2025-037openalex-snapshot
Benchmarking Tabular Data Synthesis: Evaluating Tools, Metrics, and Datasets on Prosumer Hardware for End-Users
inferred← citeshttps://doi.org/10.5555/1182635.1164254openalex-snapshot
Simple and realistic data generation
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.