Giter Club home page Giter Club logo

lf-to-abstract-sql's Introduction

An SBVR Structured Englished to SBVR Logical Formulation parser.

lf-to-abstract-sql's People

Contributors

balena-ci avatar ereski avatar fisehara avatar flowzone-app[bot] avatar joshbwlng avatar page- avatar pimterry avatar thgreasi avatar

Stargazers

 avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

lf-to-abstract-sql's Issues

Dependency Dashboard

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

Awaiting Schedule

These updates are awaiting their schedule. Click on a checkbox to get an update now.

  • Lock file maintenance

Open

These updates have all been created already. Click a checkbox below to force a retry/rebase of any.

Detected dependencies

github-actions
.github/workflows/flowzone.yml
npm
package.json
  • @balena/sbvr-parser ^1.4.3
  • lodash ^4.17.21
  • ometa-js ^1.5.4
  • @balena/lint ^6.2.1
  • @balena/sbvr-types ^7.0.1
  • chai ^4.3.7
  • mocha ^10.1.0
  • require-npm4-to-publish ^1.0.0

Dependency Dashboard

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

This repository currently has no open or pending branches.

Detected dependencies

github-actions
.github/workflows/flowzone.yml
npm
package.json
  • @balena/sbvr-parser ^1.4.3
  • lodash ^4.17.21
  • ometa-js ^1.5.4
  • @balena/lint ^6.2.1
  • @balena/sbvr-types ^5.0.0
  • chai ^4.3.7
  • mocha ^10.1.0
  • require-npm4-to-publish ^1.0.0

Incorrect abstract SQL generated for M-M link fields

Given the rule:

It is necessary that each plan that includes a plan feature that provides a feature1, includes at most one plan feature that provides the feature1

(using the model from https://github.com/resin-io/resin-api/pull/1020)

we end up with the following SQL:

SELECT NOT EXISTS (
	SELECT 1
	FROM "plan" AS "plan.0",
			"plan feature" AS "plan feature.1",
			"feature" AS "feature.2",
			"plan-includes-plan feature" AS "plan.0-includes-plan feature.1"
	WHERE "plan feature.1"."provides-feature" = "feature.2"."id"
	AND "plan.0-includes-plan feature.1"."plan" = "plan.0"."id"
	AND "plan.0-includes-plan feature.1"."plan feature" = "plan feature.1"."id"
	AND (
			SELECT COUNT(*)
			FROM "plan feature" AS "plan feature.3",
					"plan-includes-plan feature" AS "plan.0-includes-plan feature.3"
			WHERE "plan feature.3"."provides-feature" = "feature.2"."id"
			AND "plan.0-includes-plan feature.3"."plan" = "plan.0"."id"
			AND "plan.0-includes-plan feature.3"."plan feature" = "plan feature.3"."id"
	) >= 2
 ) AS "result";

This doesn't work. plan-includes-plan feature has two field, plan and includes-plan feature, but this references a non-existent plan feature field.

This is a bug at the LF level, which is making some assumptions about FK field names that are no longer true.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.