{"repo":"typedb/typeql","free":true,"listed":false,"github":"https://github.com/typedb/typeql","clone":"git clone https://github.com/typedb/typeql.git","description":"TypeQL: Built for systems, not records","language":"Rust","stars":254,"topics":["reasoning","query-language","query","inference","logic","database","typedb","typeql","type-system","strongly-typed"],"license":"MPL-2.0","category":"databases-storage","readme_excerpt":"Introducing TypeQL TypeQL is the query language of TypeDB . - Conceptual and intuitive . TypeQL is based directly on the conceptual data model of TypeDB. Its queries comprise sequences of statements that assemble into patterns. This mirrors natural language and makes it easy and intuitive to express even highly complex queries. - Fully declarative and composable . TypeQL is fully declarative, allowing us to define query patterns without considering execution strategy. The user only composes sets of requirements, and TypeDB finds all matching data to process. - A fully variablizable language . Any concept in TypeQL has a type, and so any concept in TypeQL can be variablized in a query – even types! This enables TypeQL to express powerful parametric database operations. - Built for consistency . TypeQL patterns are underpinned by a powerful type system that ensure safety and consistency of database applications. [//]: # (TODO: Substitute by a \"TypeQL in 20 queries\" or something more newbie-friendly) Explore the full range of TypeQL in the official language reference. A polymorphic query language Define types, inheritance, and interfaces TypeQL features the type system of the Polymorphic Entity-Relation-Attribute (PERA) model: entities are independent concepts, relations depend on role interfaces played by either entities or relations, and attributes are properties with a value that can interface with (namely, be owned by) entities or relations. Entities, relations, and attribut","default_branch":null,"files":null,"tree":[],"storefront":"/r/typedb","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/typedb/typeql/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}