HALOWERKTechnische Prüfungen & Formate
relational / relational conjunctive query containment
An agent that changes an exported relation query needs whether the old positive conjunctive query is contained in the new one for every finite relation instance.
POST https://detect.halowerk.com/v1/relational/relational-conjunctive-query-containmentEingaben
| Feld | Typ | Pflicht | Beschreibung |
|---|---|---|---|
| artifact | object | Ja |
Vollständiges Eingabeschema anzeigen
{
"type": "object",
"properties": {
"artifact": {
"type": "object",
"properties": {
"before": {
"type": "object",
"properties": {
"head": {
"type": "array",
"items": {
"type": "integer",
"minimum": 0,
"maximum": 11
},
"minItems": 0,
"maxItems": 8
},
"atoms": {
"type": "array",
"items": {
"type": "object",
"properties": {
"relation": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"variables": {
"type": "array",
"items": {
"type": "integer",
"minimum": 0,
"maximum": 11
},
"minItems": 1,
"maxItems": 8
}
},
"required": [
"relation",
"variables"
],
"additionalProperties": false
},
"minItems": 1,
"maxItems": 8
}
},
"required": [
"head",
"atoms"
],
"additionalProperties": false
},
"after": {
"type": "object",
"properties": {
"head": {
"type": "array",
"items": {
"type": "integer",
"minimum": 0,
"maximum": 11
},
"minItems": 0,
"maxItems": 8
},
"atoms": {
"type": "array",
"items": {
"type": "object",
"properties": {
"relation": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"variables": {
"type": "array",
"items": {
"type": "integer",
"minimum": 0,
"maximum": 11
},
"minItems": 1,
"maxItems": 8
}
},
"required": [
"relation",
"variables"
],
"additionalProperties": false
},
"minItems": 1,
"maxItems": 8
}
},
"required": [
"head",
"atoms"
],
"additionalProperties": false
}
},
"required": [
"before",
"after"
],
"additionalProperties": false
}
},
"required": [
"artifact"
],
"additionalProperties": false
}Veröffentlichtes Eingabebeispiel
{
"artifact": {
"before": {
"head": [
0
],
"atoms": [
{
"relation": "R",
"variables": [
0
]
}
]
},
"after": {
"head": [
0
],
"atoms": [
{
"relation": "R",
"variables": [
0
]
}
]
}
}
}Ergebnis & Dokumentation
Maschinenlesbare Dokumentation dieses Hubs
Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.
Weitere Endpunkte dieses Hubs
- Technische Prüfungen & Formate0,003 USDC
aria concrete role property support closure
POSThttps://detect.halowerk.com/u/aria-concrete-role-property-support-closureA component API exporter needs properties that are unsupported or prohibited for its selected explicit ARIA role rather than losing them silently during conversion.
- Technische Prüfungen & Formate0,003 USDC
aria description author source precedence
POSThttps://detect.halowerk.com/u/aria-description-author-source-precedenceA description-metadata exporter needs which author ARIA source survives precedence and which competing source is overridden before transferring help text.
- Technische Prüfungen & Formate0,003 USDC
aria explicit concrete role token fallback
POSThttps://detect.halowerk.com/u/aria-explicit-concrete-role-token-fallbackBefore removing compatibility role tokens, a website migration agent needs which concrete source role survives the normative fallback order.