기계 번역으로 제공되는 번역입니다. 제공된 번역과 원본 영어의 내용이 상충하는 경우에는 영어 버전이 우선합니다.

Amazon Neptune의 SPARQL 표준 규정 준수

해당 SPARQL 표준을 나열한 후 다음 단원에서는 Neptune의 SPARQL 구현이 해당 표준에서 어떻게 확장 또는 분기하는지에 대한 구체적인 세부 정보를 제공합니다.

Amazon Neptune은 SPARQL 그래프 쿼리 언어를 구현할 때 다음 표준을 준수합니다.

Word 관련 표준 SPARQL

Neptune SPARQL의 기본 네임스페이스 접두사

Neptune은 기본적으로 SPARQL 쿼리에 사용할 수 있도록 다음 접두사를 정의합니다. 자세한 내용은 SPARQL 사양의 접두사 이름을 참조하세요.

SPARQL 기본 그래프 및 명명된 그래프

Amazon Neptune은 트리플마다 이름이 있는 그래프를 연결합니다. 기본 그래프는 이름이 있는 모든 그래프의 조합으로 정의됩니다.

쿼리에 대한 기본 그래프

GRAPH 키워드 또는와 같은 구문을 통해 그래프를 명시적으로 지정하지 않고 SPARQL 쿼리를 제출하면 FROM NAMEDNeptune은 항상 DB 인스턴스의 모든 트리플을 고려합니다. 예를 들어 다음 쿼리는 Neptune SPARQL 엔드포인트에서 모든 트리플을 반환합니다.

SELECT * WHERE { ?s ?p ?o }

1개 이상의 그래프에 나타나는 triples는 한 번만 반환합니다.

기본 그래프 사양에 대한 자세한 내용은 RDF 1.1 쿼리 언어 사양의 Word 데이터 세트 섹션을 참조하세요. SPARQL

로드, 삽입 또는 업데이트에 대한 이름이 있는 그래프 지정

트리플을 로드, 삽입 또는 업데이트할 때 명명된 그래프를 지정하지 않으면 Neptune은 URI 로 정의된 폴백 명명된 그래프를 사용합니다http://aws.amazon.com/neptune/vocab/v01/DefaultNamedGraph.

트리플 기반 형식을 사용하여 Neptune Load 요청을 발행하면 parserConfiguration: namedGraphUri 파라미터를 사용하여 모든 트리플에 사용할 이름이 있는 그래프를 지정할 수 있습니다. Load 명령 구문에 대한 사항은 Neptune 로더 명령 단원을 참조하십시오.

이름이 있는 그래프 대상을 명시적으로 제공하지 않고 SPARQL UPDATE를 통해 트리플을 로드하는 경우에도 이 이름이 있는 대체 그래프를 사용합니다.

쿼드 기반 형식 N-Quads를 사용하여 데이터베이스의 트리플마다 이름이 있는 그래프를 지정할 수 있습니다.

Neptune에서 지원하는 XPath SPARQL Constructor 함수

SPARQL 표준은 SPARQL 엔진이 확장 가능한 XPath 생성자 함수 세트를 지원하도록 허용합니다. Neptune은 현재 다음과 같은 생성자 함수를 지원합니다. 여기서 xsd 접두사는 http://www.w3.org/2001/XMLSchema#로 정의됩니다.

쿼리 및 업데이트에 대한 기본 IRI

Neptune 클러스터에는 여러 엔드포인트가 있으므로 쿼리 또는 업데이트의 요청 URL를 기본 IRI로 사용하면 상대적 IRIs를 해결할 때 예상치 못한 결과가 발생할 수 있습니다.

엔진 릴리스 1.2.1.0부터 명시적 기본 IRI가 요청의 일부가 아닌 경우 Neptune은를 기본 IRIhttp://aws.amazon.com/neptune/default/로 사용합니다.

다음 요청에서 기본 IRI는 요청의 일부입니다.

BASE <http://example.org/default/>
INSERT DATA { <node1> <id> "n1" }

BASE <http://example.org/default/>
SELECT * { <node1> ?p ?o }

결과는 다음과 같습니다.

?p                                                   ?o
http://example.org/default/id                        n1

그러나이 요청에는 기본 IRI가 포함되지 않습니다.

INSERT DATA { <node1> <id> "n1" }

SELECT * { <node1> ?p ?o }

이 경우 결과는 다음과 같습니다.

?p                                                   ?o
http://aws.amazon.com/neptune/default/id             n1

Neptune의 xsd:dateTime 값

성능상의 이유로 Neptune은 항상 날짜/시간 값을 협정 세계시(UTC)로 저장합니다. 이렇게 하면 직접 비교가 매우 효율적으로 수행됩니다.

즉, 특정 시간대를 지정하는 dateTime 값을 입력하면 Neptune은 값을 UTC로 변환하고 해당 시간대 정보를 삭제합니다. 그런 다음 나중에 dateTime 값을 검색하면 원래 시간대의 시간이 아닌 UTC로 표시되며 원래 시간대가 무엇인지 더 이상 알 수 없습니다.

Neptune의 특수 부동 소수점 값 처리

Neptune은 다음과 같이 SPARQL에서 특수 부동 소수점 값을 처리합니다.

Neptune에서 SPARQL NaN 처리

Neptune에서 SPARQL는 쿼리NaN에서의 값을 수락할 수 있습니다. 신호와 quiet NaN 값 사이에는 구별이 없습니다. Neptune은 모든 NaN 값을 quiet로 취급합니다.

의미상 NaN보다 크거나 작거나 같은 값은 없으므로 NaN을 비교할 수 없습니다. 즉, 이론적으로 비교의 한 쪽에 있는 NaN 값은 다른 쪽의 어느 값과도 일치하지 않습니다.

그러나 XSD 사양은 두 개 xsd:double 또는 xsd:float NaN 값을 동일하게 처리합니다. 이 사양은 Neptune에서 IN 필터, 필터 표현식의 등호 연산자 및 정확한 일치 시맨틱(삼중 패턴의 객체 위치에 NaN이 있음)에도 적용됩니다.

Neptune에서 SPARQL 무한 값 처리

Neptune에서 SPARQL는 쿼리에서 INF 또는 값을 수락-INF할 수 있습니다. INF는 다른 숫자 값보다 크거나 작거나 -INF입니다.

일치하는 부호가 있는 두 INF 값은 유형에 관계없이 서로 동일하게 비교됩니다(예: 부동 소수점은 이중와 동일하게 -INF 비교-INF).

NaN보다 크거나 작거나 같은 값은 없으므로 NaN과 비교할 수 없습니다.

Neptune에서 SPARQL 부정 제로 처리

Neptune은 음수 0 값을 부호 없는 0으로 정규화합니다. 음수 0 값은 쿼리에 사용할 수 있지만 데이터베이스에 기록되지 않으며 부호 없는 0과 동일하게 비교합니다.

Neptune 임의 길이 값의 제한 사항

Neptune은 XSD 정수, 부동 소수점 및 SPARQL10진수 값의 스토리지 크기를 64비트로 제한합니다. 더 큰 값을 사용하면 InvalidNumericDataException 오류가 발생합니다.

Neptune, SPARQL로 균등 비교 확장

SPARQL 표준은 값 표현식에 대한 삼원 논리를 정의하며, 여기서 값 표현식은 true, false또는 로 평가할 수 있습니다error. SPARQL 1.1 사양에 정의된 용어 균등성에 대한 기본 의미 체계는 = 및 FILTER 조건 != 비교에 적용되며 사양의 연산자 테이블에서 명시적으로 비교할 수 없는 데이터 형식을 비교할 error 때를 생성합니다.

이 동작은 다음 예제와 같이 직관적이지 않은 결과를 초래할 수 있습니다.

데이터:

<http://example.com/Server/1> <http://example.com/ip> "127.0.0.1"^^<http://example.com/datatype/IPAddress>

쿼리 1:

SELECT * WHERE {
    <http://example.com/Server/1> <http://example.com/ip> ?o .
    FILTER(?o = "127.0.0.2"^^<http://example.com/datatype/IPAddress>)
}

쿼리 2:

SELECT * WHERE {
    <http://example.com/Server/1> <http://example.com/ip> ?o .
    FILTER(?o != "127.0.0.2"^^<http://example.com/datatype/IPAddress>)
}

릴리스 1.0.2.1 이전에 Neptune에서 사용한 기본 SPARQL 의미 체계를 사용하면 두 쿼리 모두 빈 결과를 반환합니다. 그 이유는 사용자 지정 데이터 형식 <http://example.com/IPAddress>에 대해 지정된 명시적 비교 규칙이 없으므로 ?o := "127.0.0.1"^^<http://example.com/IPAddress>에 대해 평가할 때 ?o = "127.0.0.2"^^<http://example.com/IPAddress>는 false가 아니라 error를 생성하기 때문입니다. 결과적으로 두 번째 쿼리의 부정 버전도 error를 생성합니다. 두 쿼리 모두에서 error는 후보 솔루션이 필터링되도록 합니다.

릴리스 1.0.2.1부터 Neptune은 사양에 따라 SPARQL 불평등 연산자를 확장했습니다. 엔진이 사용자 정의 데이터 형식과 비교할 수 없는 기본 제공 데이터 형식 간에 비교하는 방법에 대한 추가 규칙을 정의할 수 있도록 하는 운영자 확장성에 대한 SPARQL 1.1 섹션을 참조하세요.

이 옵션을 사용하면 Neptune은 리터럴 값과 데이터 형식이 구문적으로 같은 경우 연산자 매핑 표에 명시적으로 정의되지 않은 두 데이터 형식의 비교를 true로 평가하고 그렇지 않으면 false로 평가합니다. error는 어떤 경우에도 생성되지 않습니다.

이러한 새로운 시맨틱을 사용하면 두 번째 쿼리가 빈 결과 대신 "127.0.0.1"^^<http://example.com/IPAddress>를 반환합니다.

Neptune SPARQL에서 Out-of-Range Literals 처리

XSD 의미 체계는 integer 및를 제외하고 값 공백으로 각 숫자 유형을 정의합니다decimal. 이러한 정의는 각 형식을 값 범위로 제한합니다. 예를 들어 xsd:byte 범위의 범위는 -128에서 +127까지(경계값 포함)입니다. 이 범위를 벗어나는 모든 값은 유효하지 않은 것으로 간주됩니다.

유형의 값 공간 외부에 리터럴 값을 할당하려는 경우(예:를 리터럴 값 999xsd:byte로 설정하려는 경우) Neptune은 반올림하거나 잘라내지 않고 out-of-range 값을 있는 그대로 수락합니다. 하지만 해당 형식은 리터럴 값을 나타낼 수 없기 때문에 숫자 값으로 유지되지 않습니다.

즉, 정의된 xsd:byte 값 범위를 벗어나는 값이라도 Neptune은 "999"^^xsd:byte를 사용합니다. 하지만 데이터베이스에 이러한 값이 유지되면 삼중 패턴의 객체 위치에서 정확한 일치 시맨틱에서만 사용할 수 있습니다. out-of-range 리터럴은 숫자 값으로 취급되지 않으므로 범위 필터를 실행할 수 없습니다.

SPARQL 1.1 사양은 범위 연산자를 numeric-operator-numeric, string-operator-string, literal-operator-literal 등의 형식으로 정의합니다. Neptune은 invalid-literal-operator-numeric-value와 같은 범위 비교 연산자를 실행할 수 없습니다.