Chair of Scalable Database Systems at University of Passau's repositories
vldb-dbms-live-patching
The Case for DBMS Live Patching - Reproduction Package
bowtie
A meta-validator for the JSON Schema specification(s)
sds-artifacts
Artifacts for the course Scaling Database Systems.
mjs-schemas
A collection of schemas in the JSON Schema language designed to challenge validators.
jsonschema-refexpander
A normalization tool for JSON Schemas. Based on Draft04
linux-mmview
Linux kernel with mmview extensions
ECMAScript2Brics
Translating EcmaScript syntax to Brics syntax.
JSC_API
A REST API for checking JSON Schema Containment and for generating JSON Schema Witnesses.
jsongenerator
A JSON data generator from JSON Schemas, provided as a Java library.
json-schema-corpus
Corpus of over 80thousand JSON Schema documents, collected from open source GitHub repositories.
json-schema-containment-testsuite
A test suite for tools that check JSON Schema containment.
usage-of-not-replication
Replication package for the empirical study on the usage of the operator "not" in JSON Schema.
praktomat-questionnaire-sose-2020
Fragebogen zur Evaluation der Software "Praktomat" - Sommersemester 2020
praktomat-for-radb-and-psql
Repository mit den Anpassungen der Anwendung "Praktomat" für die Datenbanklehre
json_schema_validator
This is our python validator for json schema.