Examples with TypeDB com.vaticle.typedb.core.TypeDB used on opensource projects

Example 6 with TypeDB

use of com.vaticle.typedb.core.TypeDB in project grakn by graknlabs.

the class BasicTest method write_and_retrieve_relation_rule.

@Test
public void write_and_retrieve_relation_rule() throws IOException {
    Util.resetDirectory(dataDir);
    try (TypeDB.DatabaseManager typedb = CoreDatabaseManager.open(options)) {
        typedb.create(database);
        try (TypeDB.Session session = typedb.session(database, Arguments.Session.Type.SCHEMA)) {
            try (TypeDB.Transaction txn = session.transaction(Arguments.Transaction.Type.WRITE)) {
                ConceptManager conceptMgr = txn.concepts();
                LogicManager logicMgr = txn.logic();
                EntityType person = conceptMgr.putEntityType("person");
                RelationType friendship = conceptMgr.putRelationType("friendship");
                friendship.setRelates("friend");
                RelationType marriage = conceptMgr.putRelationType("marriage");
                marriage.setRelates("spouse");
                person.setPlays(friendship.getRelates("friend"));
                person.setPlays(marriage.getRelates("spouse"));
                logicMgr.putRule("marriage-is-friendship", TypeQL.parsePattern("{$x isa person; $y isa person; (spouse: $x, spouse: $y) isa marriage; }").asConjunction(), TypeQL.parseVariable("(friend: $x, friend: $y) isa friendship").asThing());
                txn.commit();
            }
            try (TypeDB.Transaction txn = session.transaction(Arguments.Transaction.Type.READ)) {
                ConceptManager conceptMgr = txn.concepts();
                LogicManager logicMgr = txn.logic();
                EntityType person = conceptMgr.getEntityType("person");
                RelationType friendship = conceptMgr.getRelationType("friendship");
                RoleType friend = friendship.getRelates("friend");
                RelationType marriage = conceptMgr.getRelationType("marriage");
                RoleType spouse = marriage.getRelates("spouse");
                Rule rule = logicMgr.getRule("marriage-is-friendship");
                Pattern when = rule.getWhenPreNormalised();
                ThingVariable<?> then = rule.getThenPreNormalised();
                assertEquals(TypeQL.parsePattern("{$x isa person; $y isa person; (spouse: $x, spouse: $y) isa marriage; }"), when);
                assertEquals(TypeQL.parseVariable("(friend: $x, friend: $y) isa friendship"), then);
            }
        }
    }
}

Example 7 with TypeDB

use of com.vaticle.typedb.core.TypeDB in project grakn by graknlabs.

the class BasicTest method write_identical_attributes_in_parallel_successfully.

@Test
public void write_identical_attributes_in_parallel_successfully() throws IOException {
    reset_directory_and_create_attribute_types();
    LocalDateTime date_1992_2_3_4_5 = LocalDateTime.of(1991, 2, 3, 4, 5);
    try (TypeDB.DatabaseManager typedb = CoreDatabaseManager.open(options)) {
        try (TypeDB.Session session = typedb.session(database, Arguments.Session.Type.DATA)) {
            TypeDB.Transaction txn1 = session.transaction(Arguments.Transaction.Type.WRITE);
            TypeDB.Transaction txn2 = session.transaction(Arguments.Transaction.Type.WRITE);
            TypeDB.Transaction txn3 = session.transaction(Arguments.Transaction.Type.WRITE);
            isAlive(txn1).put(true);
            isAlive(txn2).put(true);
            isAlive(txn3).put(true);
            age(txn1).put(17);
            age(txn2).put(17);
            age(txn3).put(17);
            score(txn1).put(70.5);
            score(txn2).put(70.5);
            score(txn3).put(70.5);
            name(txn1).put("alice");
            name(txn2).put("alice");
            name(txn3).put("alice");
            dob(txn1).put(date_1992_2_3_4_5);
            dob(txn2).put(date_1992_2_3_4_5);
            dob(txn3).put(date_1992_2_3_4_5);
            assertEquals(1, isAlive(txn1).getInstances().count());
            assertTrue(isAlive(txn1).getInstances().anyMatch(att -> att.getValue().equals(true)));
            assertEquals(1, isAlive(txn2).getInstances().count());
            assertTrue(isAlive(txn2).getInstances().anyMatch(att -> att.getValue().equals(true)));
            assertEquals(1, isAlive(txn3).getInstances().count());
            assertTrue(isAlive(txn2).getInstances().anyMatch(att -> att.getValue().equals(true)));
            assertEquals(1, age(txn1).getInstances().count());
            assertTrue(age(txn1).getInstances().anyMatch(att -> att.getValue() == 17));
            assertEquals(1, age(txn2).getInstances().count());
            assertTrue(age(txn2).getInstances().anyMatch(att -> att.getValue() == 17));
            assertEquals(1, age(txn3).getInstances().count());
            assertTrue(age(txn3).getInstances().anyMatch(att -> att.getValue() == 17));
            assertEquals(1, score(txn1).getInstances().count());
            assertTrue(score(txn1).getInstances().anyMatch(att -> att.getValue() == 70.5));
            assertEquals(1, score(txn2).getInstances().count());
            assertTrue(score(txn2).getInstances().anyMatch(att -> att.getValue() == 70.5));
            assertEquals(1, score(txn3).getInstances().count());
            assertTrue(score(txn3).getInstances().anyMatch(att -> att.getValue() == 70.5));
            assertEquals(1, name(txn1).getInstances().count());
            assertTrue(name(txn1).getInstances().anyMatch(att -> att.getValue().equals("alice")));
            assertEquals(1, name(txn2).getInstances().count());
            assertTrue(name(txn2).getInstances().anyMatch(att -> att.getValue().equals("alice")));
            assertEquals(1, name(txn3).getInstances().count());
            assertTrue(name(txn3).getInstances().anyMatch(att -> att.getValue().equals("alice")));
            assertEquals(1, dob(txn1).getInstances().count());
            assertTrue(dob(txn1).getInstances().anyMatch(att -> att.getValue().equals(date_1992_2_3_4_5)));
            assertEquals(1, dob(txn2).getInstances().count());
            assertTrue(dob(txn2).getInstances().anyMatch(att -> att.getValue().equals(date_1992_2_3_4_5)));
            assertEquals(1, dob(txn3).getInstances().count());
            assertTrue(dob(txn3).getInstances().anyMatch(att -> att.getValue().equals(date_1992_2_3_4_5)));
            txn1.commit();
            txn2.commit();
            txn3.commit();
            try (TypeDB.Transaction txn = session.transaction(Arguments.Transaction.Type.READ)) {
                assertEquals(true, isAlive(txn).get(true).getValue());
                assertEquals(17, age(txn).get(17).getValue().longValue());
                assertEquals(70.5, score(txn).get(70.5).getValue(), 0.001);
                assertEquals("alice", name(txn).get("alice").getValue());
                assertEquals(date_1992_2_3_4_5, dob(txn).get(date_1992_2_3_4_5).getValue());
                assertEquals(1, isAlive(txn).getInstances().count());
                assertTrue(isAlive(txn).getInstances().anyMatch(att -> att.getValue().equals(true)));
                assertEquals(1, age(txn).getInstances().count());
                assertTrue(age(txn).getInstances().anyMatch(att -> att.getValue() == 17));
                assertEquals(1, score(txn).getInstances().count());
                assertTrue(score(txn).getInstances().anyMatch(att -> att.getValue() == 70.5));
                assertEquals(1, name(txn).getInstances().count());
                assertTrue(name(txn).getInstances().anyMatch(att -> att.getValue().equals("alice")));
                assertEquals(1, dob(txn).getInstances().count());
                assertTrue(dob(txn).getInstances().anyMatch(att -> att.getValue().equals(date_1992_2_3_4_5)));
            }
        }
    }
}

Example 8 with TypeDB

use of com.vaticle.typedb.core.TypeDB in project grakn by graknlabs.

the class BasicTest method write_attributes_successfully.

@Test
public void write_attributes_successfully() throws IOException {
    LocalDateTime date_1991_1_1_0_0 = LocalDateTime.of(1991, 1, 1, 0, 0);
    reset_directory_and_create_attribute_types();
    try (TypeDB.DatabaseManager typedb = CoreDatabaseManager.open(options)) {
        try (TypeDB.Session session = typedb.session(database, Arguments.Session.Type.DATA)) {
            try (TypeDB.Transaction txn = session.transaction(Arguments.Transaction.Type.WRITE)) {
                isAlive(txn).put(true);
                age(txn).put(18);
                score(txn).put(90.5);
                name(txn).put("alice");
                dob(txn).put(date_1991_1_1_0_0);
                assertEquals(1, isAlive(txn).getInstances().count());
                assertTrue(isAlive(txn).getInstances().anyMatch(att -> att.getValue().equals(true)));
                assertEquals(1, age(txn).getInstances().count());
                assertTrue(age(txn).getInstances().anyMatch(att -> att.getValue() == 18));
                assertEquals(1, score(txn).getInstances().count());
                assertTrue(score(txn).getInstances().anyMatch(att -> att.getValue() == 90.5));
                assertEquals(1, name(txn).getInstances().count());
                assertTrue(name(txn).getInstances().anyMatch(att -> att.getValue().equals("alice")));
                assertEquals(1, dob(txn).getInstances().count());
                assertTrue(dob(txn).getInstances().anyMatch(att -> att.getValue().equals(date_1991_1_1_0_0)));
                txn.commit();
            }
            try (TypeDB.Transaction txn = session.transaction(Arguments.Transaction.Type.READ)) {
                LocalDateTime dateTime = LocalDateTime.of(1991, 1, 1, 0, 0);
                Attribute.Boolean isAlive = isAlive(txn).get(true);
                Attribute.Long age = age(txn).get(18);
                Attribute.Double score = score(txn).get(90.5);
                Attribute.String name = name(txn).get("alice");
                Attribute.DateTime dob = dob(txn).get(dateTime);
                assertNotNulls(isAlive, age, score, name, dob);
                assertEquals(true, isAlive.getValue());
                assertEquals(18, age.getValue().longValue());
                assertEquals(90.5, score.getValue(), 0.001);
                assertEquals("alice", name.getValue());
                assertEquals(dateTime, dob.getValue());
                assertEquals(1, isAlive(txn).getInstances().count());
                assertTrue(isAlive(txn).getInstances().anyMatch(att -> att.getValue().equals(true)));
                assertEquals(1, age(txn).getInstances().count());
                assertTrue(age(txn).getInstances().anyMatch(att -> att.getValue() == 18));
                assertEquals(1, score(txn).getInstances().count());
                assertTrue(score(txn).getInstances().anyMatch(att -> att.getValue() == 90.5));
                assertEquals(1, name(txn).getInstances().count());
                assertTrue(name(txn).getInstances().anyMatch(att -> att.getValue().equals("alice")));
                assertEquals(1, dob(txn).getInstances().count());
                assertTrue(dob(txn).getInstances().anyMatch(att -> att.getValue().equals(date_1991_1_1_0_0)));
            }
        }
    }
}

Example 9 with TypeDB

use of com.vaticle.typedb.core.TypeDB in project grakn by graknlabs.

the class QueryTest method test_query_delete.

@Test
public void test_query_delete() throws IOException {
    Util.resetDirectory(dataDir);
    try (TypeDB.DatabaseManager typedb = CoreDatabaseManager.open(options)) {
        typedb.create(database);
        try (TypeDB.Session session = typedb.session(database, Arguments.Session.Type.SCHEMA)) {
            try (TypeDB.Transaction transaction = session.transaction(Arguments.Transaction.Type.WRITE)) {
                TypeQLDefine query = TypeQL.parseQuery(new String(Files.readAllBytes(Paths.get("test/integration/schema.tql")), UTF_8));
                transaction.query().define(query);
                transaction.commit();
            }
        }
        try (TypeDB.Session session = typedb.session(database, Arguments.Session.Type.DATA)) {
            try (TypeDB.Transaction transaction = session.transaction(Arguments.Transaction.Type.WRITE)) {
                String insertString = "insert " + "$o isa organisation, has name 'vaticle'; " + "$t isa team, has name 'engineers', has symbol 'vaticle/engineers'; " + "$u isa user, has name 'butler', has email 'butler@vaticle.com'; " + "($o, $t) isa org-team; " + "($o, $u) isa org-member; " + "($t, $u) isa team-member;";
                TypeQLInsert insertQuery = TypeQL.parseQuery(insertString);
                transaction.query().insert(insertQuery);
                transaction.commit();
            }
            try (TypeDB.Transaction transaction = session.transaction(Arguments.Transaction.Type.WRITE)) {
                String deleteString = "match $x isa thing; delete $x isa thing;";
                TypeQLDelete deleteQuery = TypeQL.parseQuery(deleteString);
                transaction.query().delete(deleteQuery);
                transaction.commit();
            }
            try (TypeDB.Transaction transaction = session.transaction(Arguments.Transaction.Type.READ)) {
                String matchString = "match $x isa thing;";
                TypeQLMatch matchQuery = TypeQL.parseQuery(matchString);
                FunctionalIterator<ConceptMap> answers = transaction.query().match(matchQuery);
                assertFalse(answers.hasNext());
            }
        }
    }
}

Example 10 with TypeDB

use of com.vaticle.typedb.core.TypeDB in project grakn by graknlabs.

the class QueryTest method test_query_define.

@Test
public void test_query_define() throws IOException {
    Util.resetDirectory(dataDir);
    try (TypeDB.DatabaseManager typedb = CoreDatabaseManager.open(options)) {
        typedb.create(database);
        try (TypeDB.Session session = typedb.session(database, Arguments.Session.Type.SCHEMA)) {
            try (TypeDB.Transaction transaction = session.transaction(Arguments.Transaction.Type.WRITE)) {
                TypeQLDefine query = TypeQL.parseQuery(new String(Files.readAllBytes(Paths.get("test/integration/schema.tql")), UTF_8));
                transaction.query().define(query);
                transaction.commit();
            }
            try (TypeDB.Transaction tx = session.transaction(Arguments.Transaction.Type.READ)) {
                AttributeType.String name = tx.concepts().getAttributeType("name").asString();
                AttributeType.String symbol = tx.concepts().getAttributeType("symbol").asString();
                AttributeType.Boolean active = tx.concepts().getAttributeType("active").asBoolean();
                AttributeType.Long priority = tx.concepts().getAttributeType("priority").asLong();
                assertNotNulls(name, symbol, active, priority);
                EntityType organisation = tx.concepts().getEntityType("organisation");
                EntityType team = tx.concepts().getEntityType("team");
                EntityType user = tx.concepts().getEntityType("user");
                EntityType repository = tx.concepts().getEntityType("repository");
                EntityType branchRule = tx.concepts().getEntityType("branch-rule");
                EntityType commit = tx.concepts().getEntityType("commit");
                assertNotNulls(organisation, team, user, repository, branchRule, commit);
                assertTrue(organisation.getOwns().anyMatch(a -> a.equals(name)));
                assertTrue(team.getOwns().anyMatch(a -> a.equals(symbol)));
                assertTrue(user.getOwns().anyMatch(a -> a.equals(name)));
                assertTrue(repository.getOwns().anyMatch(a -> a.equals(active)));
                assertTrue(branchRule.getOwns().anyMatch(a -> a.equals(priority)));
                assertTrue(commit.getOwns().anyMatch(a -> a.equals(symbol)));
                RelationType orgTeam = tx.concepts().getRelationType("org-team");
                RelationType teamMember = tx.concepts().getRelationType("team-member");
                RelationType repoDependency = tx.concepts().getRelationType("repo-dependency");
                assertNotNulls(orgTeam, teamMember, repoDependency);
                RoleType orgTeam_org = orgTeam.getRelates("org");
                RoleType orgTeam_team = orgTeam.getRelates("team");
                RoleType teamMember_team = teamMember.getRelates("team");
                RoleType teamMember_member = teamMember.getRelates("member");
                assertNotNulls(orgTeam_org, orgTeam_team, teamMember_team, teamMember_member);
                assertTrue(organisation.getPlays().anyMatch(r -> r.equals(orgTeam_org)));
                assertTrue(team.getPlays().anyMatch(r -> r.equals(orgTeam_team)));
                assertTrue(team.getPlays().anyMatch(r -> r.equals(teamMember_team)));
                assertTrue(user.getPlays().anyMatch(r -> r.equals(teamMember_member)));
                // check first 4 rules
                assertNotNull(tx.logic().getRule("repo-fork-rule"));
                assertNotNull(tx.logic().getRule("repo-dependency-transitive-rule"));
                assertNotNull(tx.logic().getRule("repo-dependency-transitive-type-rule"));
                assertNotNull(tx.logic().getRule("repo-collaborator-org-rule"));
                // check total count
                assertEquals(15, tx.logic().rules().toList().size());
            }
        }
    }
}