Comments (7)
This comment was originally posted by @haikalpribadi on 2017-04-24 13:33:48+02:00.
cc: Sheldon Hall
this might be relevant to the the "type inference upon query planning" thing that Sheldon was working on.
from typeql.
This comment was originally posted by Filipe Peliz Pinto Teixeira on 2017-11-02 12:21:19+01:00.
Felix Chapman this is done no?
from typeql.
This comment was originally posted by Felix Chapman on 2017-11-02 12:23:02+01:00.
Filipe Peliz Pinto Teixeira It depends what it means. In general we allow invalid queries, but we do check super-simple stuff like "is the type there". For example, Graql won't mind if you say match $r ($x, $y); $r isa person; $r isa dog;
or whatever.
from typeql.
This comment was originally posted by Filipe Peliz Pinto Teixeira on 2017-11-02 12:24:28+01:00.
Felix Chapman I suppose then the goal of this task is to optimise around not executing queries which we know are invalid. Like the above having two types. So this is not done then I would say.
from typeql.
This comment was originally posted by @kasper-piskorski on 2018-04-13 11:05:10+02:00.
isn't that a feature?
from typeql.
This comment was originally posted by Jason Liu on 2018-04-13 13:23:35+02:00.
@kasper-piskorski I think this should be allowed
from typeql.
Generally, detecting invalid queries in the schema is now caught by type inference before the query is executed in TypeDB as of 2.x
from typeql.
Related Issues (20)
- Ignoring repeated constraints
- Support modifiers (at least the limit) in all type of queries HOT 3
- Using standard form for numeric literals throws an error when parsed HOT 5
- [Feature Request] More operators and basic functions HOT 1
- Make annotated constraints to apply to subtypes HOT 4
- Allow negations and disjunctions without an exterior binding
- Unary negation
- Factor out typedb-common and typedb-proc-macro crates
- Sanitize rust macros to avoid forcing user's environment
- Give relation and value constraints explicit keywords
- Add deployment tests for Cargo and Pip snapshots
- Introduce a syntax element to explicitly end a query string
- Plays-as overrides break schema export
- Fetch: add a way to project an item into a list of attributes by label HOT 1
- Introduce syntax for interface covariance HOT 2
- Composition of interface implementations as high-level abstractions (traits)
- Allow casting of type variables to value variables HOT 3
- Ability to define metadata for types without replicating the information across all type instances
- Simplify attribute deletes by using anonymous bindings
- Allow matching on types using a type label directly
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from typeql.