[rqlrewrite] Fix rewrite on ambiguities introduced by NOT relation or "is IN" type restriction
When some inserted RQL snippet generate more solutions than the original RQL,
the rewriter attempt to duplicate the snippet for each newly introduced
solution. There are though some cases where we do not want this behaviour in
case of ambiguities introduced by:
* NOT(X relation Y) expression, since it won't be
equivalent to NOT(X relation Y1, Y1 is Type1) OR NOT(X relation Y2, Y2 is
Type2) ;
* EXISTS(X relation Y, Y is IN (Type1, Type2) expression, since it's not
actually necessary to split an explicitly introduced ambiguity (and it crash
if we attempt to do so, so...).
In test, we've to modify the `rewrite()` function because in the newly
introduced test we need the same constraint to be applied to two variables in
the original query, and this was not supported before.
Notice the generated RQL in test is still *NOT CORRECT* "(EXISTS(NOT EXISTS() OR
EXISTS(...))", or at least isn't optimal. This will be fixed in a forthcoming
changeset.
Related to #17074119
.. -*- coding: utf-8 -*-
The development team is pleased to announce the 3.0.0 release of CubicWeb, also
know as ShowTime.
What is CubicWeb?
-----------------
With CubicWeb, the Semantic Web is a construction game!
CubicWeb_ is a semantic web application framework, licensed under the LGPL, that
empowers developers to efficiently build web applications by reusing components
(called cubes) and following the well known object-oriented design principles.
Its main features are:
* an engine driven by the explicit data model of the application,
* a query language named RQL similar to W3C’s SPARQL,
* a selection+view mechanism for semi-automatic XHTML/XML/JSON/text generation,
* a library of reusable components (data model and views) that fulfill common needs,
* the power and flexibility of the Python programming language,
* the reliability of SQL databases, LDAP directories, Subversion and Mercurial for storage backends.
Being built since 2000 by an R&D project still going on today, supporting
100,000s of daily visits at some production sites, CubicWeb is a proven end to
end solution for semantic web application development that promotes quality,
reusability and efficiency.
The unbeliever will read the quick overview_ of CubicWeb.
The hacker will join development at the forge_.
The impatient will move right away to installation_ and set-up of a CubicWeb
environment.
.. _cubicweb: https://www.cubicweb.org/
.. _overview: https://docs.cubicweb.org/tutorials/base/index.html
.. _forge: https://www.cubicweb.org/project?vtitle=All%20cubicweb%20projects
.. _installation: https://docs.cubicweb.org/book/admin/setup.html#setupenv
Home page
---------
http://www.cubicweb.org/
Download
--------
http://ftp.logilab.org/pub/cubicweb/
Mailing list
------------
http://lists.cubicweb.org/mailman/listinfo/cubicweb