GQL-værdier og værdityper

Denne artikel indeholder en omfattende reference til GQL-værdier og værdityper i graph i Microsoft Fabric.

GQL-sproget understøtter forskellige typer værdier, f.eks. tal, strenge og grafelementer. Disse værdier er organiseret i sæt, der kaldes værdityper, som definerer, hvilke handlinger du kan udføre, og hvordan værdier fungerer i forskellige kontekster. Det er vigtigt at forstå typesystemet for at skrive korrekte forespørgsler og undgå kørselsfejl.

Nøglebegreber:

• Værdityper kan være null ellermateriale (kan ikke være null), afhængigt af om de inkluderer eller udelader null-værdien.
• Værdityper, der ikke kan være null , angives syntaktisk som NOT NULL.
• Den samme værdi kan tilhøre flere værdityper (polymorfi).
• Null-værdien er medlem af alle værdityper, der kan være null.

Sådan organiseres værdityper

Alle værdityper falder i to overordnede kategorier, der tjener forskellige formål i dine forespørgsler:

• Foruddefinerede værdityper – indbygget i sproget, f.eks. tal, strenge og booleske værdier.
• Konstruerede værdityper – sammensat af andre typer, f.eks. lister og stier.

Foruddefinerede værdityper er yderligere organiseret i specialiserede kategorier:

• Booleske værdityper – Sande, falske og ukendte værdier for logiske handlinger.
• Tegnstrengværdityper – Tekstdata med Understøttelse af Unicode.
• Numeriske værdityper – heltal og tal med flydende tal.
• Tidsbestemte værdityper – Dato- og klokkeslætsværdier med understøttelse af tidszone.
• Referenceværdityper – Referencer til noder og kanter i grafen.
• Immaterial value types – Særlige værdier som null og ingenting.

Sådan fungerer lighed og sammenligning

At forstå, hvordan GQL sammenligner værdier, er afgørende for at skrive effektive forespørgsler, især når det drejer sig om filtrering, sortering og joinforbindelser.

Grundlæggende sammenligningsregler

• Du kan generelt sammenligne værdier af samme type.
• Du kan sammenligne alle tal med hinanden, f.eks. heltal med flydende værdier.
• Du kan kun sammenligne referenceværdier, der refererer til den samme type objekt, f.eks. nodereferencer med nodereferencer og kantreferencer med kantreferencer.

Null-håndtering i sammenligninger

Når du sammenligner en værdi med null, er resultatet altid UNKNOWN. Null-håndtering følger tre værdibaserede logikprincipper. Sætningen ORDER BY behandler dog som den mindste værdi, når der sorteres NULL , hvilket giver forudsigelig funktionsmåde for sortering.

Distinktitet i forhold til lighed

Visse udsagn tester ikke for lighed, men tester snarere for distinktitet. Det er vigtigt at forstå forskellen for handlinger som og DISTINCTGROUP BY.

Distinctness-test følger de samme regler som lighed med én afgørende undtagelse: NULL adskiller sig ikke fra NULL. Distinktitet adskiller sig fra lighedstest, der involverer NULL, hvilket altid resulterer i UNKNOWN.

I følgende sætninger bruges distinctness-test:

• RETURN DISTINCT: Bestemmer, om to rækker er dubletter af hinanden.
• GROUP BY: Bestemmer, om to rækker tilhører den samme grupperingsnøgle under sammenlægning.

To rækker fra en tabel er forskellige, hvis der er mindst én kolonne, hvor værdierne fra begge rækker er forskellige.

Booleske værdityper

Booleske værdier bruger logik med tre værdier: TRUE, FALSEog UNKNOWN.

Sådan fungerer lighed:

Sådan fungerer sammenligning:

FALSE er mindre end TRUE. Alle sammenligninger, der involverer UNKNOWN , resulterer i UNKNOWN.

Sådan skriver du booleske konstanter:

• TRUE
• FALSE
• UNKNOWN eller NULL

Typesyntaks:

BOOL [ NOT NULL ]

Værdityper for tegnstrenge

Tegnstrenge er sekvenser af Unicode-kodepunkter (de kan være længden nul). Den tomme tegnstreng er ikke identisk med null-værdien.

Sådan fungerer sammenligning:

Tegnstrenge sammenlignes ved at sammenligne Unicode-skalarværdierne for deres kodepunkter. Denne sammenligningsmetode kaldes nogle gange sorteringen UCS_BASIC .

Sådan skriver du strengkonstanter:

Omslut tegnene med enten dobbelte anførselstegn (") eller enkelte anførselstegn ('):

"Hello, World!"
'Guten Tag!'

Du kan ikke angive bestemte Unicode-kontroltegn direkte i strengkonstanttegn. Det er specifikt ikke tilladt at bruge alle tegn fra Unicode General Category-klasserne "Cc" og "Cn". Brug i stedet C-style \-escapes:

GQL understøtter også escaping i SQL-stil ved at fordoble omgivelserne og " tegnene':

Typesyntaks:

STRING [ NOT NULL ]

Numeriske typer

Nøjagtige numeriske typer

Graph understøtter nøjagtige tal, der er negative eller positive heltal.

Sådan fungerer sammenligning:

Systemet sammenligner alle tal med deres numeriske værdi.

Sådan skriver du heltalskonstanter:

Typesyntaks:

INT [ NOT NULL ]
INT64 [ NOT NULL ]
UINT [ NOT NULL ]
UINT64 [ NOT NULL ]

INT og INT64 angive den samme numeriske type. Så gør UINT og UINT64.

Omtrentlige numeriske typer

Graph understøtter omtrentlige tal, der er IEEE (Institute of Electrical and Electronics Engineers) 754-kompatible flydende tal.

Sådan fungerer sammenligning:

Systemet sammenligner alle tal med deres numeriske værdi.

Sådan skriver du konstanter med flydende tal:

Yderligere numeriske overvejelser:

• Overløb og underløb: Heltalshandlinger, der overskrider det understøttede interval, kan medføre kørselsfejl eller ombrydningsfunktion, afhængigt af implementeringen.
• Præcision: Flydende talhandlinger kan miste præcision på grund af begrænsninger for repræsentation i IEEE 754.
• Særlige flydende værdier: NaN (Ikke et tal), positiv uendelighed (+∞) og negativ uendelighed (-∞) understøttes muligvis i kontekster med flydende tal.

Typesyntaks:

FLOAT [ NOT NULL ]
DOUBLE [ NOT NULL ]
FLOAT64 [ NOT NULL ]

DOUBLE, FLOATog FLOAT64 alle angiver den samme type.

Tidsmæssige værdityper

Zoned datetime-værdier

En zoned datetime-værdi repræsenterer en ISO 8601-kompatibel datetime med en tidszoneforskydning.

Sådan fungerer sammenligning:

Systemet sammenligner zoneopdelte datetime-værdier kronologisk med deres absolutte klokkeslætspunkter.

Sådan skriver du datetime-konstanter:

Brug ISO 8601-formatet sammen med tidszoneoplysninger.

ZONED_DATETIME('2024-08-15T14:30:00+02:00')
ZONED_DATETIME('2024-08-15T12:30:00Z')
ZONED_DATETIME('2024-12-31T23:59:59.999-08:00')

Typesyntaks:

ZONED DATETIME [ NOT NULL ]

Referenceværdityper

Referenceværdier indeholder referencer til matchende noder eller kanter.

Nodereferenceværdier

Nodereferenceværdier repræsenterer referencer til bestemte noder i din graf. Du får typisk disse værdier, når noder matches i grafmønstre. Du kan bruge disse værdier til at få adgang til nodeegenskaber og udføre sammenligninger.

Sådan fungerer sammenligning:

Sammenlign kun nodereferenceværdier for lighed. To nodereferenceværdier er ens, hvis og kun hvis de refererer til den samme node.

Graph definerer en deterministisk rækkefølge over referenceværdier. Denne rækkefølge kan dog ændres fra forespørgsel til forespørgsel, og du bør ikke stole på den i produktionsforespørgsler.

Sådan får du adgang til egenskaber:

Brug punktnotation til at få adgang til nodeegenskaber:

node_var.property_name

Abstrakte nodetyper i grafskemaer:

Når du arbejder med graftyper, skal du definere abstrakte nodetyper, der fungerer som basistyper for nedarvning, men som ikke kan instantieres direkte. Abstrakte typer muliggør polymorfe forespørgselsmønstre:

-- Abstract base type (cannot be instantiated)
ABSTRACT
(:Person => {
  id :: INT64,
  name :: STRING,
  birth_date :: ZONED DATETIME
}),

-- Concrete types that inherit from abstract base
(:Employee => Person {
  employee_id :: STRING,
  department :: STRING,
  hire_date :: ZONED DATETIME
})

(:Customer => :Person {
  customer_id :: STRING,
  membership_level :: STRING,
  registration_date :: ZONED DATETIME
})

Polymorfe forespørgsler med abstrakte typer:

Abstrakte typer muliggør effektive forespørgselsmønstre, hvor du matcher med basistypen for at finde alle forekomster af afledte typer:

-- Find all Person instances (both Employee and Customer)
MATCH (p:Person)
RETURN p.name, p.birthday, labels(p) AS label_names

-- Mixed type patterns
MATCH (e:Employee)-[:knows]-(c:Customer)
WHERE e.department = 'Sales' AND c.membership_level = 'Premium'
RETURN e.name AS sales_person, c.name AS customer

Denne fremgangsmåde giver typesikkerhed og muliggør fleksibel, nedarvningsbaseret datamodellering i dine grafskemaer.

Typesyntaks:

NODE [ NOT NULL ]

Referenceværdier for grafkant

Referenceværdier for grafkant repræsenterer referencer til bestemte kanter i grafen. Du får typisk disse værdier, når kanter matches i grafmønstre. Du kan bruge disse værdier til at få adgang til kantegenskaber og udføre sammenligninger.

Sådan fungerer sammenligning:

Du kan kun sammenligne kantreferenceværdier for lighed. To kantreferenceværdier er kun ens, hvis de refererer til den samme kant.

Sådan får du adgang til egenskaber:

Brug punktnotation til at få adgang til kantegenskaber:

edge_var.property_name

Typesyntaks:

EDGE [ NOT NULL ]

Typer af immateriel værdi

Immaterielle værdityper indeholder ikke "almindelige" materialeværdier.

Null-værdier

Null-værdien repræsenterer fraværet af en kendt materialeværdi. Det er medlem af alle værdityper, der kan være null, og adskiller sig fra enhver materialeværdi. Det er den eneste værdi af null-typen.

Sådan fungerer sammenligning:

Når du sammenligner en værdi med null, er UNKNOWNresultatet .

Sådan skriver du null-konstanter:

NULL        -- type NULL
UNKNOWN     -- type BOOL

Typesyntaks:

NULL

Intet type

Intet-typen er en værditype, der ikke indeholder nogen værdier.

Selvom det kan se ud som en teknikalitet, kan du bruge intet-typen til at tildele en præcis type til værdier som tomme listeværdier. Intet-typen giver dig mulighed for at overføre tomme lister, uanset hvor en listeværditype forventes (uanset den påkrævede listeelementtype).

Typesyntaks:

NOTHING
NULL NOT NULL

(NOTHING og NULL NOT NULL angive den samme type)

Konstruerede værdityper

Vis værdier

Listeværdier er sekvenser af elementer. Lister kan indeholde elementer af samme type og kan indeholde null-værdier.

Sådan fungerer sammenligning:

Lister sammenlignes først efter størrelse og derefter element efter element i rækkefølge. To lister er ens, hvis de har samme størrelse, og alle tilsvarende elementer er ens.

Gruppelister:

Gruppelister er lister, der er bundet af matchende kantmønstre med variabel længde. Graph sporer deres status som gruppelister.

Du kan bruge gruppelister i vandret aggregering. Du kan få flere oplysninger under GQL-udtryk og -funktioner.

Sådan skriver du listekonstanter:

Brug kantet parentesnotation til at oprette lister:

[1, 2, 3, 4]
['hello', 'world']
[1, 'mixed', TRUE, NULL]
[]  -- empty list

Sådan får du adgang til elementer:

Brug kantede parenteser med nulbaseret indeksering til at få adgang til listeelementer:

list_var[0]  -- first element
list_var[1]  -- second element

Almindelige listehandlinger:

-- Check if list contains a value
WHERE 'Engineering' IN employee.departments

-- List concatenation
RETURN [1, 2] || [3, 4]  -- [1, 2, 3, 4]

-- List size
size(list_var)

Typesyntaks:

LIST<element_type> [ NOT NULL ]
LIST<element_type NOT NULL> [ NOT NULL ]

Hvor element_type kan være en hvilken som helst understøttet type, f.eks. STRING, INT64, DOUBLE, BOOL og meget mere.

Stiværdier

Stiværdier repræsenterer stier, der svarer til i grafen. En stiværdi indeholder en ikke-mpty sekvens af skiftende node- og kantreferenceværdier, der altid starter og slutter med en nodereferenceværdi. Disse referenceværdier identificerer noderne og kanterne af den oprindeligt tilsvarende sti i grafen.

Sådan struktureres stier:

En sti består af:

• En sekvens af noder og kanter: node₁ - edge₁ - node₂ - edge₂ - ... - nodeₙ
• Starter og slutter altid med en node.
• Indeholder mindst én node (den mindste stilængde er nul kanter).

Sådan fungerer sammenligning:

Du sammenligner stier ved at sammenligne lister med referenceværdier med alle deres komponentnoder og kanter i den rækkefølge, de forekommer langs stien.

Du kan få flere oplysninger i sammenligningsreglerne for listeværdier og referenceværdier.

Typesyntaks:

PATH [ NOT NULL ]

Typekonverteringer og casting

GQL understøtter både implicitte og eksplicitte typekonverteringer for at muliggøre fleksible handlinger, samtidig med at typesikkerheden bevares.

Implicitte konverteringer

Visse værdityper kan konverteres implicit, når konverteringen er sikker og ikke mister oplysninger:

• Numerisk udvidelse: Heltalsværdier kan implicit konverteres til flydende taltyper, når de bruges i blandede aritmetiske handlinger.
• Strengkontekster: Værdier kan implicit konverteres til strenge i visse kontekster, f.eks. sammenkædningshandlinger.

Eksplicit casting

Brug funktionen CAST til eksplicit at konvertere værdier mellem kompatible typer:

CAST(value AS target_type)

Eksempler:

CAST(123 AS STRING)           -- "123"
CAST('456' AS INT64)          -- 456
CAST(3.14 AS STRING)          -- "3.14"
CAST('true' AS BOOL)          -- TRUE

Regler for casting:

• Til STRING: Du kan konvertere de fleste værdityper til STRING ved hjælp af deres konstantrepræsentation.
• Til numeriske typer: Du kan konvertere strenge, der indeholder gyldige numeriske konstanter, til relevante numeriske typer.
• Til BOOL: Du kan konvertere strengene 'true' eller 'false' (forskel på store og små bogstaver) til booleske værdier.
• Ugyldige casts: Hvis du forsøger at caste inkompatible værdier, opstår der kørselsfejl.

Relateret indhold

• GQL-sprogvejledning
• GQL-udtryk og -funktioner
• GQL-graftyper
• Try Microsoft Fabric gratis