부정적 데이터베이스와 집단 공격을 가진 논증 프레임워크 간의 불일치

여러 무결성 제약 조건 (integrity constraints) 을 포함하는 부합하지 않는 데이터베이스에 대한 부분 최대 수리 (subset-maximal repairs) 와 논증 프레임워크 내의 수용 가능한 논증 집합 사이의 연결은 최근 급부상한 관심사를 불러일으켰습니다. 본 논문에서는 무결성 제약 조건 (ICs) 이 부정 제약 (denial constraints) 과 국소적 관점 튜플 생성 의존성 (local-as-view tuple-generating dependencies) 을 포함할 때 새로운 연결을 확립함으로써 해당 분야에 기여합니다. 결과적으로, 집단 공격을 허용하는 뤑의 논증 프레임워크 (AFs) 확장인 SET 기반 논증 프레임워크 (SETAFs) 가 필요합니다. 부정 제약 하의 부분 최대 수리는 단순 확장에 (naive extensions) 대응하며, 이는 결과된 SETAFs 의 선호 확장과 안정적 확장과 일치합니다. 우리의 주요 발견은 튜플 생성 의존성의 고려된 조각에 대한 수리가 선호 확장에 대응함을 확립합니다. 또한, 이러한 의존성에 대해 추가 전처리 (preprocessing) 를 수행하면 안정적이고 단순인 유일한 확장을 계산할 수 있습니다. 두 유형의 제약 조건을 허용하는 경우 이 관계가 깨지며, 심지어 전처리가 도움이 되지 않고 선호 의미론만이 이러한 수리를 포착합니다. 마지막으로, 함수적 의존성이 집합 기반 공격을 필요로 하지 않는다는 것은 잘 알려져 있지만, 포함 의존성 (inclusion dependencies) 에 대해서도 동일한 것을 증명합니다. 따라서 이러한 무결성 제약 조건 (ICs) 의 제한된 클래스 하의 부합하지 않는 데이터베이스를 공격이 논증 간에만 있는 평범한 AF 로 번역할 수 있습니다.