TypeDB•5mo ago•

27 replies

Understanding disjunction behavior

I am trying to better understand disjunction behavior.

When it comes to concept rows, is it the case that the instance variable that has the same name can be of different types in different rows?

Following query seems to suggest so.

match 
{ $x isa paperback; } or { $x isa name; };

match 
{ $x isa paperback; } or { $x isa name; };

Is it the case that in some rows

$x

$x

could be

paperback

paperback

entity instance variable, while in some other concept rows

$x

$x

could be a

name

name

attribute instance variable?

A related question is following query seems to work

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; };

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; };

whereas this query fails.

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; $x == "Homer"; };

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; $x == "Homer"; };

when I remove one branch of the dis-junction, the query works.

match
  $x isa name;
  $x == "Homer";

match
  $x isa name;
  $x == "Homer";

What could I be going wrong?

TypeDB•5mo ago•

27 replies

rajivranganath

Understanding disjunction behavior

match 
{ $x isa paperback; } or { $x isa name; };

match 
{ $x isa paperback; } or { $x isa name; };

Is it the case that in some rows

$x

$x

could be

paperback

paperback

entity instance variable, while in some other concept rows

$x

$x

could be a

name

name

attribute instance variable?

A related question is following query seems to work

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; };

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; };

whereas this query fails.

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; $x == "Homer"; };

match 
{ $x isa paperback; $x has title "Classical Mythology"; } or { $x isa name; $x == "Homer"; };

when I remove one branch of the dis-junction, the query works.

match
  $x isa name;
  $x == "Homer";

match
  $x isa name;
  $x == "Homer";

What could I be going wrong?

Understanding disjunction behavior

Similar Threads

Understanding disjunction behavior

Similar Threads

Similar Threads

Similar Threads